diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo/hooks/ciabot.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/repo/hooks/ciabot.sh b/repo/hooks/ciabot.sh index 806ba5d8..6d24af44 100755 --- a/repo/hooks/ciabot.sh +++ b/repo/hooks/ciabot.sh @@ -72,6 +72,8 @@ gitver=$(git --version) gitver=${gitver##* } rev=$(git describe ${merged} 2>/dev/null) +# ${merged:0:12} is the only bashism left in this script, +# according to checkbashisms. [ -z ${rev} ] && rev=${merged:0:12} rawcommit=$(git cat-file commit ${merged}) |