aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/dist.sh
blob: b337ef0a831bfbfd6f6f2a693f69630eb3d3bce5 (about) (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#!/bin/sh
set -eu

DATE="$1"
VERSION="$2"
VVERSION="v$2"
PROJECT="$3"

if git show "$VVERSION" 1>/dev/null 2>/dev/null; then
  echo "Version '$VVERSION' already exists." >&2
  exit 1
fi

if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
  echo "Date '$DATE' is not up-to-date." >&2
  exit 1
fi

if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then
  echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2
  exit 1
fi

git tag "$VVERSION"

sh aux/workflow/sign-tarballs.sh "$PROJECT"