Re: git push origin BRANCHNAME question

2016-08-25 Thread Jeff King
On Thu, Aug 25, 2016 at 10:50:23AM -0700, Junio C Hamano wrote: > Ed Greenberg writes: > > > I think I understand this from the git-push man page, but I want to > > make sure: > > > > I have two branches, master and develop. > > > > If I am (accidentally) sitting on master, and issue 'git push o

Re: git push origin BRANCHNAME question

2016-08-25 Thread Junio C Hamano
Ed Greenberg writes: > I think I understand this from the git-push man page, but I want to > make sure: > > I have two branches, master and develop. > > If I am (accidentally) sitting on master, and issue 'git push origin > develop', does this properly push develop to remote develop, or does > it