Then the question is: option 2 or option 3 and if option 3 what repo name?
So right now we have:
- Thomas: option 1
- Simon: option 1
- Marius: option 1
- Michael: option 2 or 3
- Manuel: option 2 or 3
- Vincent: option 1 (for simplicity and because I can’t find a good name for option 3 and the extensions are small, the domain (GA) is small and I feel it’s ok to put everything related to that domain together)