|
My Project
|
Loading...
Searching...
No Matches
- development is to be done within personal (github) forks of the Sources repository
- the main Sources repository hosts only official master and spielwiese branches
- there are a few people with push access to the Sources repository, who handle pull requests to master and spielwiese (Hans, Christian, Oleksandr)