summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-06-04 12:29:15 +0200
committerHolger Levsen <holger@layer-acht.org>2015-06-04 12:29:15 +0200
commit48cdb95c75a208e4135db6cee356e490cb95d36f (patch)
treeb88ebc7201ceadcc6e1f8efe497b103c536e7c81
parente48d7bd503e8edd45c6a6c16b769831398e4873b (diff)
downloadjenkins.debian.net-48cdb95c75a208e4135db6cee356e490cb95d36f.tar.xz
thanks.html: mention Samuel and Lunar once, not twice
-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/