git: set push.default=current to avoid unintentionally pushing branches