diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-16 23:00:20 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-16 23:00:20 -0300 |
| commit | 993e0e15eb9691bc73e502e0003fa799650862e3 (patch) | |
| tree | fbba2173783f55445ddd7c7e24f652db6936016d /aux/workflow/dist.sh | |
| parent | README.md: Highlight link as anchor instead of text (diff) | |
| download | package-repository-993e0e15eb9691bc73e502e0003fa799650862e3.tar.gz package-repository-993e0e15eb9691bc73e502e0003fa799650862e3.tar.xz | |
aux/: Update
Diffstat (limited to '')
| -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" |