Here’s a handy git alias I’ve been using like crazy recently:
It’s a really simply shorthand way of pulling then pushing the current branch from/to a remote repo. If there’s a merge error on the pull, it won’t continue with the push.
I’ve added it to my global
.gitconfig file (
~/.gitconfig), and I’ve saved about a bazillion keystrokes saving myself from typing
git push …
git pull; git push many, many times a day.