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