gitconfig: more sensible aliases or pull/push