...
- Separate repos
- Done in Cedric's GitHb space
- One repo
- Benefit of multiplerepos multiple repos is that it requires smaller change in the actual documentation on the other hand it needs more configuration on Git level
- Managing of 9 git repos and 9 rtd projects is very complex
- One repo requires a bit more work to implement, but it needs the management of one git repo and one rtd project going on
- One repo also helps to keep the documentation consistent and sends the message that the project is unified
- Cédric Ollivier could not join and speak for the multi repo option, so we will continue the discussion in the mailing list and will have a vote on it next week on the TSC
AoB
- None