From 917ab158bb17fc633aaf93beb1cdcf5b43ab668b Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 6 Mar 2021 01:22:29 -0300
Subject: Update files under aux/

---
 aux/ci/git-pre-push.sh | 9 ---------
 aux/workflow/dist.sh   | 5 +++++
 2 files changed, 5 insertions(+), 9 deletions(-)

(limited to 'aux')

diff --git a/aux/ci/git-pre-push.sh b/aux/ci/git-pre-push.sh
index 5546cb2..951d353 100755
--- a/aux/ci/git-pre-push.sh
+++ b/aux/ci/git-pre-push.sh
@@ -5,15 +5,6 @@ PACKAGE="$(basename "$PWD")"
 LOGS_DIR="/opt/ci/$PACKAGE/logs"
 REMOTE_GIT_DIR="/srv/git/$PACKAGE.git"
 
-DESCRIPTION="$(mktemp)"
-if [ -f description ]
-then
-  cp description "$DESCRIPTION"
-else
-  git config euandreh.description > "$DESCRIPTION"
-fi
-
-scp "$DESCRIPTION" "git.euandreh.xyz:$REMOTE_GIT_DIR/description"
 ssh git.euandreh.xyz mkdir -p "$LOGS_DIR"
 scp aux/ci/ci-build.sh         "git.euandreh.xyz:$(dirname "$LOGS_DIR")/ci-build.sh"
 scp aux/ci/git-post-receive.sh "git.euandreh.xyz:$REMOTE_GIT_DIR/hooks/post-receive"
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index afe2c92..0ae0ec4 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -16,6 +16,11 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
   exit 1
 fi
 
+if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then
+  echo "Commit message isn't 'Release $VVERSION'." >&2
+  exit 1
+fi
+
 sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT"
 
 git tag "$VVERSION"
-- 
cgit v1.2.3