May
22nd
Thu
22nd
Git Push: Just The Tip
from ReinH, good stuff.
I can never remember creating and deleting remote branches. Here’s how:
git push origin master:refs/heads/remote_branch_name
git push :remote_branch_name
