We should have instructions for adding a new repo. It seems there's two parts that are currently not documented:
In the config file, there’s two identifiers: oidand uuid. When someone wants to send a pull request, how do they find these IDs? This should probably be documented on the main README.
When the maintainer of this project merges a change to github_repos.json, what steps do they need to execute for pushing the config change to prodution? This can probably be documented in a separate file, linked from the main README.
We should have instructions for adding a new repo. It seems there's two parts that are currently not documented:
oidanduuid. When someone wants to send a pull request, how do they find these IDs? This should probably be documented on the main README.github_repos.json, what steps do they need to execute for pushing the config change to prodution? This can probably be documented in a separate file, linked from the main README.