git-repo-config(feed) - phpMan