[jyriand]

1000 repos seems a bit much. Does it mean that when developing a feature you have to change code in tens of repositories And then create separate commits and PRs for each of those? It just seems way too microscopic.