Tweak release.sh script

- Add reminder to look at RELEASE.md
- Add check for tag == origin/master, since the tag must be done on the
  master branch.

Author: alt-romes

scripts/release.sh

@@ -53,10 +53,24 @@ if ! git diff --staged --quiet; then
   exit 1
 fi
 
+# Ensure HEAD points to origin/master
+echo "Fetching origin master to validate HEAD..."
+git fetch origin master
+HEAD_SHA=$(git rev-parse HEAD)
+MASTER_SHA=$(git rev-parse origin/master)
+
+if [ "$HEAD_SHA" != "$MASTER_SHA" ]; then
+  echo "Error: HEAD does not point to the tip of origin/master."
+  echo "HEAD SHA:    $HEAD_SHA"
+  echo "Master SHA:  $MASTER_SHA"
+  exit 1
+fi
+
 echo "Tagging latest commit..."
 git tag "v$PKG_VERSION" -m "Release: $PKG_VERSION"
 
 echo "Please don't forget to push with --tags"
 echo "Few more things:"
 echo "  - Make sure haskell-debugger-view was manually uploaded if there should be a new release."
 echo "  - And that haskellDebuggerViewVersion is updated too"
+echo "  - Did you read RELEASE.md?"