Add changelog and release scripts.

Author: jendrikseipp

CHANGELOG.md

@@ -0,0 +1,3 @@
+# 1.0 (2020-03-08)
+
+* First official release.

dev/make-release-notes.py

@@ -0,0 +1,46 @@
+#! /usr/bin/env python3
+
+import re
+import sys
+
+_, VERSION, CHANGELOG, LIST = sys.argv
+HEADER_REGEX = fr"# {VERSION} \(\d\d\d\d-\d\d-\d\d\)\n"
+
+notes_list = []
+
+
+def add_to_release_notes(line):
+    assert line.endswith("."), line
+    notes_list.append(f"* {line}\n")
+
+
+with open(CHANGELOG) as f:
+    first_line = next(f)
+    if not re.match(HEADER_REGEX, first_line):
+        sys.exit(
+            f'First changelog line "{first_line.rstrip()}" must '
+            f'start with "{HEADER_REGEX.rstrip()}"'
+        )
+    notes_list.extend([first_line[2:], "\n"])
+    for line in f:
+        if not line.strip():
+            continue
+        if line.startswith("* "):
+            add_to_release_notes(line[2:].strip())
+        else:
+            break
+
+
+def check(name, text):
+    print("*" * 60)
+    print(text)
+    print("*" * 60)
+    response = input("Accept this %s (Y/n)? " % name).strip().lower()
+    if response and response != "y":
+        sys.exit(1)
+
+
+check("changelog", "".join(notes_list))
+
+with open(LIST, "w") as f:
+    f.writelines(notes_list)

dev/release.sh

@@ -0,0 +1,33 @@
+#! /bin/bash
+
+set -exuo pipefail
+
+VERSION="$1"
+CHANGES="/tmp/pyperplan-$VERSION-changes"
+
+cd $(dirname "$0")/../
+
+# Check for uncommited changes.
+set +e
+git diff --quiet && git diff --cached --quiet
+retcode=$?
+set -e
+if [[ $retcode != 0 ]]; then
+    echo "There are uncommited changes:"
+    git status
+    exit 1
+fi
+
+if [[ $(git rev-parse --abbrev-ref HEAD) != master ]]; then
+    echo "Must be on master for release"
+    exit 1
+fi
+
+git tag -a "v$VERSION" -m "v$VERSION" HEAD
+
+git push
+git push --tags
+
+# Add changelog to Github release.
+./dev/make-release-notes.py "$VERSION" CHANGELOG.md "$CHANGES"
+hub release create "v$VERSION" --file "$CHANGES"