contrib/ciabot: git-describe commit instead of HEAD