forked from Singular/Singular
-
Notifications
You must be signed in to change notification settings - Fork 0
Development model
malex984 edited this page Apr 10, 2013
·
9 revisions
- development done on 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
- git push TC +HEAD:remote-run**/no-ntl/**your_TC_user_name/feature_name # testing with TC after a local commit without NTL
- 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
- Note that for this you need to be registered on TC (register at (internal) and ask Oleksandr or Burcin to assign you a proper developer's role)