Make git push/pull a bit more explicit