On 01.05.2011 19:00, Jim Pryor wrote:
I don't know yet how to push a new local branch to remote, though I know
I'll be able to figure it out.
That would be
git push origin new_local_branch

--
Johannes

Reply via email to