Documentation: branch.*.merge can also affect 'git-push'