Git now has aliases for both pull and push.