log git commit in dev release

2026-08-01 19:14:54 +02:00 · 2015-10-17 10:55:41 +00:00
parent da63155724
commit 31109b3332
1 changed files with 1 additions and 0 deletions
@@ -25,6 +25,7 @@ git tag --delete "$tag" || true
 root="$(mktemp -d -t le.$version.XXX)"
 echo "Cloning into fresh copy at $root"  # clean repo = no artificats
 git clone . $root
+git rev-parse HEAD
 cd $root
 git branch -f "$DEV_RELEASE_BRANCH"
 git checkout "$DEV_RELEASE_BRANCH"