New git-supported Singular 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, Cristian, Oleksandr)
• special repository for CI with TeamCity (internal): Singular/spielwiese-ci, see Oleksandr's talk. The git commands for TC testing may look as follows:
  • git remote add TC [email protected]:Singular/spielwiese-ci.git # initial setup
  • git push TC +HEAD:remote-run/your_TC_user_name/feature_name # testing with TC after a local commit (on Linuxes)
  • git push TC +HEAD:remote-run**/no-ntl/**your_TC_user_name/feature_name # testing with TC after a local commit without NTL (on Linuxes)
  • git push TC +HEAD:remote-run**/no-ntl-but-flint/**your_TC_user_name/feature_name # testing with TC after a local commit without NTL but with FLINT (on Linuxes)
  • git push TC +HEAD:remote-run**/osx/**your_TC_user_name/feature_name # testing with TC after a local commit on Mac OS X
  • git push TC +HEAD:remote-run**/debug/**your_TC_user_name/feature_name # testing with TC after a local commit with debug (on Linuxes)
  • git push TC +HEAD:remote-run**/static/**your_TC_user_name/feature_name # testing with TC after a local commit static build without dynamic modules (on Linuxes)
  • Note that for this you need to be registered on TC (register at (internal) and ask Oleksandr to assign you a proper developer's role)