summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
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