git sync

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.