Merge branch 'maint'

* branch 'maint':
Document git-repo-config --bool/--int options.
tutorial: talk about user.name early and don't start with commit -a
git-blame: fix rev parameter handling.

diff --cc Documentation/tutorial.txt
Simple merge