Re: Convenient shortcut to push delete current branch?

2015-10-02 Thread Mike Rappazzo
On Thu, Oct 1, 2015 at 2:37 PM, Robert Dailey wrote: > On Thu, Oct 1, 2015 at 1:22 PM, Jacob Keller wrote: >> On Thu, Oct 1, 2015 at 9:43 AM, Robert Dailey >> wrote: >>> For convenient pushing of current branch, git

Convenient shortcut to push delete current branch?

2015-10-01 Thread Robert Dailey
For convenient pushing of current branch, git supports this syntax: $ git push origin HEAD This will push your current branch up. However, is there such a shortcut for *deleting* the branch? The only goal here is to avoid having to type the branch name in the push command. Normally I rely on tab

Re: Convenient shortcut to push delete current branch?

2015-10-01 Thread Jacob Keller
On Thu, Oct 1, 2015 at 9:43 AM, Robert Dailey wrote: > For convenient pushing of current branch, git supports this syntax: > > $ git push origin HEAD > > This will push your current branch up. However, is there such a > shortcut for *deleting* the branch? The only goal

Re: Convenient shortcut to push delete current branch?

2015-10-01 Thread Robert Dailey
On Thu, Oct 1, 2015 at 1:22 PM, Jacob Keller wrote: > On Thu, Oct 1, 2015 at 9:43 AM, Robert Dailey > wrote: >> For convenient pushing of current branch, git supports this syntax: >> >> $ git push origin HEAD >> >> This will push your current