Update notes.md
This commit is contained in:
parent
28da10ab43
commit
5484c291d5
1 changed files with 2 additions and 2 deletions
4
notes.md
4
notes.md
|
@ -17,8 +17,8 @@
|
|||
|
||||
- each repo has protected master branch -> used for handing in exercises
|
||||
- create automatic protected TAG on deadline in each repo
|
||||
- trigger via push to master repo
|
||||
- start jplag via protected runner that can clone / checkout all repos
|
||||
- trigger protected runner via push to master repo
|
||||
- protected runner runs checks out TAG from all repos into /tmp and runs [JPlag](https://jplag.ipd.kit.edu/)
|
||||
|
||||
## (optional) sync script
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue