git-repo-config(1) - phpMan