diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-15 08:21:39 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-15 08:23:27 -0300 |
| commit | 2c46bb5bef55715db5b922900a01863d40c370dd (patch) | |
| tree | 8d1ac57c7e8e85464cea60a08748dcf9eb8e6051 /aux/workflow/dist.sh | |
| parent | TODOs.md: Add #task-3cf42559-3713-02c6-bba3-af5bac5512a7 (diff) | |
| download | euandre.org-2c46bb5bef55715db5b922900a01863d40c370dd.tar.gz euandre.org-2c46bb5bef55715db5b922900a01863d40c370dd.tar.xz | |
aux/: Update
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index c061a04..d0d3e02 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -4,12 +4,16 @@ set -eu DATE="$1" VVERSION="v$2" PROJECT="$3" +MAILING_LIST="$4" if git show "$VVERSION" 1>/dev/null 2>/dev/null; then echo "Version '$VVERSION' already exists." >&2 exit 1 fi +sh aux/workflow/assert-changelog.sh "$PROJECT" "$VVERSION" +sh aux/workflow/assert-readme.sh "$PROJECT" "$MAILING_LIST" "$VVERSION" + if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then echo "Date '$DATE' is not up-to-date." >&2 exit 1 @@ -20,7 +24,10 @@ if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then exit 1 fi -sh aux/workflow/assert-changelog.sh "$PROJECT" +if ! (git diff --quiet && git diff --quiet --staged); then + echo 'Dirty repository.' + exit 1 +fi git tag "$VVERSION" |