summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-25 22:37:26 +0200
committerHolger Levsen <holger@layer-acht.org>2014-10-25 22:37:26 +0200
commit921eb96288d6240076b8d4b9cb735e4cf76deaf0 (patch)
tree6abd805d97ce7341d322dd2f9b682dcb0d935d0d /bin
parent976e4771dcf51d6f5c4aa2a0bece78d350e9b106 (diff)
downloadjenkins.debian.net-921eb96288d6240076b8d4b9cb735e4cf76deaf0.tar.xz
everybody uses 7byte git ids
Diffstat (limited to 'bin')
-rwxr-xr-xbin/chroot-run.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh
index 07c6802d..19beabea 100755
--- a/bin/chroot-run.sh
+++ b/bin/chroot-run.sh
@@ -94,9 +94,9 @@ cleanup() {
mkdir $EDUDOC
mv $NEWDOC/usr/share/doc/debian-edu-doc-* $EDUDOC/
VERSION=$(echo $CHANGES | cut -d "_" -f2)
- touch "$EDUDOC/${VERSION}_git${GIT_COMMIT:0:8}"
+ touch "$EDUDOC/${VERSION}_git${GIT_COMMIT:0:7}"
rm -r $NEWDOC
- MESSAGE="https://jenkins.debian.net/userContent/debian-edu-doc/ has been updated from ${GIT_COMMIT:0:8}"
+ MESSAGE="https://jenkins.debian.net/userContent/debian-edu-doc/ has been updated from ${GIT_COMMIT:0:7}"
kgb-client --conf /srv/jenkins/kgb/debian-edu.conf --relay-msg "$MESSAGE"
echo
echo $MESSAGE