Identify repo and commit in the log

diff --git a/continuous/steps/10-clone b/continuous/steps/10-clone
index 0cf550c539e5c57e21f4726b8551f5a441d64d54..754c3261822a7431ee46ded4d6f82ff1070ddfcb 100755 (executable)
--- a/continuous/steps/10-clone
+++ b/continuous/steps/10-clone
@@ -13,3 +13,5 @@ fi
 cd linux
 git fetch $REPO
 git reset --hard FETCH_HEAD
+
+echo "! Repo $REPO $(git describe) $(git rev-parse HEAD) ok"