From 5484c291d56716d301af3d4f3d210d0976b26459 Mon Sep 17 00:00:00 2001 From: Tim Schubert Date: Mon, 18 Dec 2017 13:36:57 +0000 Subject: [PATCH] Update notes.md --- notes.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/notes.md b/notes.md index cc52dda..5644935 100644 --- a/notes.md +++ b/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