(git) fix push.default