git-repo-config(category37-sonstige.html) - phpMan