Git push after deleting remote branch does nothing.
1. Checkout a remote branch as local.
2. Delete the remote branch (ie, `git push --delete origin blah`)
3. Status page correctly shows "Remote branch is gone"
4. Now do "git: push". Nothing happens at all.

What I think should happen:

Same as doing "git: push to branch name" (ie, prompting for remote and branch name), which worked just fine.
diff --git a/core/commands/push.py b/core/commands/push.py
index 70d57acb..5fadf154 100644
--- a/core/commands/push.py
+++ b/core/commands/push.py
@@ -57,11 +57,10 @@ class GsPushCommand(WindowCommand, PushBase):
         sublime.set_timeout_async(self.run_async)
 
     def run_async(self):
-        if self.local_branch_name:
-            upstream = self.get_local_branch(self.local_branch_name).tracking
-        else:
+        if not self.local_branch_name:
             self.local_branch_name = self.get_current_branch_name()
-            upstream = self.get_upstream_for_active_branch()
+
+        upstream = self.get_local_branch(self.local_branch_name).tracking
 
         if upstream:
             remote, remote_branch = upstream.split("/", 1)
['core/commands/push.py']