aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xaux/ci/git-pre-push.sh9
-rwxr-xr-xaux/workflow/dist.sh5
2 files changed, 5 insertions, 9 deletions
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"