They seems to be free software, so I think it is ok to include them...
Pull-Request: #2484
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
update_oot() {
if test -d "$dir"; then
echo "$name: git pull"
+ ../misc/jenkins/unitrun.sh "cmd-$name-remote" git --work-tree="$PWD/$dir" --git-dir="$PWD/$dir/.git" remote set-url origin "$repo"
../misc/jenkins/unitrun.sh "cmd-$name-pull" git --work-tree="$PWD/$dir" --git-dir="$PWD/$dir/.git" pull -f
else
echo "$name: git clone"
# Format: repo name
https://github.com/R4PaSs/brewnit.git brewnit
https://gitlab.com/xymus/darpg.git darpg
+https://gitlab.com/jeremlvt/dawn_arrival.git dawn_arrival
https://github.com/Morriar/Missions.git missions
+https://gitlab.com/Heavyshield/NitGains.git nitgains
https://github.com/ppepos/pep8-dbg.git pep8dbg
https://gitlab.com/xymus/sputnit.git sputnit