summaryrefslogtreecommitdiffstats
path: root/update_jdn.sh
diff options
context:
space:
mode:
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-xupdate_jdn.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh
index e494b3cf..3c6c7443 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -245,7 +245,8 @@ cp -pr README INSTALL TODO CONTRIBUTING d-i-preseed-cfgs /var/lib/jenkins/userCo
TMPFILE=$(mktemp)
git log | grep ^Author| cut -d " " -f2-|sort -u > $TMPFILE
echo "----" >> $TMPFILE
-cat THANKS.head $TMPFILE > /var/lib/jenkins/userContent/THANKS
+# samuel and lunar committed with several commiters, only display one
+grep -v "samuel.thibault@ens-lyon.org" THANKS.head | grep -v Lunar > $TMPFILE > /var/lib/jenkins/userContent/THANKS
rm $TMPFILE
cp -pr userContent /var/lib/jenkins/
cd /var/lib/jenkins/userContent/