Maybe it's time to manage WGs by include files

[wseltzer]

I wonder whether we want people editing a single ginormous file each time they want to add to a WG's notifications. On the other hand, I can see not wanting to introduce new dependency management and complexity.

[wseltzer]

@dontcallmedom any thoughts? I'm worried about breaking something global when adding repos to monitor

[dontcallmedom]

I'm not opposed to it, but it also feels somewhat low priority and does require some coding.

Note that as long as you use pull requests to change the configuration file, the automated checks should be able to detect errors, so the risk of breaking something global should be low.