git-repo-config(category18-confixx.html) - phpMan