1 May
2011
1 May
'11
8:44 p.m.
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