Update some git settings.
Add a git alias for submitting a pull request.