Resolves #176 explain the push.default setting for git push