Git can do a lot of things, but I’m lazy remembering all the commands I need – some of them are like 5 words long. So I’ll put this here so next time I don’t have to search for them.
Update list of remote branches:
git remote update origin --prune
Delete local and remote branch:
git push origin --delete <branch_name> git branch -d <branch_name>
Push all branches to remote:
git push --all -u
Push this new branch to remote:
git push origin branchB:branchB
Add annotated tag:
git tag -a v1.4 -m "my version 1.4"
And push tags to remote
git push --follow-tags