My Project
Loading...
Searching...
No Matches
New git-supported Development Model

  • 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)