New release process

Author: jorgenschaefer

RELEASE.md

@@ -2,5 +2,4 @@
 
 - Clean up issues/milestones on github
 - Update NEWS.md
-- Run `bumpversion minor`
-- Run `git push --tags`
+- Run `./script/release`

scripts/release

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -e
+cd "$(dirname "$0")/.."
+
+main() {
+    run bumpversion minor
+    run git push
+    run git push --tags
+}
+
+run() {
+    echo "\$ $*"
+    "$@"
+}
+
+main