Remove total confusion from git-fetch and git-push