diff options
| author | EuAndreh <eu@euandre.org> | 2021-03-06 01:22:29 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-03-06 01:25:07 -0300 |
| commit | 917ab158bb17fc633aaf93beb1cdcf5b43ab668b (patch) | |
| tree | aa4ca01fb33793b099ffd95b90b8efe77d73708c | |
| parent | Add servers/mailbug (diff) | |
| download | server-917ab158bb17fc633aaf93beb1cdcf5b43ab668b.tar.gz server-917ab158bb17fc633aaf93beb1cdcf5b43ab668b.tar.xz | |
Update files under aux/
| -rwxr-xr-x | aux/ci/git-pre-push.sh | 9 | ||||
| -rwxr-xr-x | aux/workflow/dist.sh | 5 |
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" |