Extend git-repo? to use default-directory, new: git-branch-set-upstream,
make git-commit less error-prone, new: git-pull-all, small fixes in
docstrings to make syntax checker happy.