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
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
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
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
4 matches
Mail list logo