Add release script

diff --git a/dev/release.sh b/dev/release.sh
new file mode 100644 (file)
index 0000000..f247a65
--- /dev/null
+++ b/dev/release.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+git checkout master
+bin/dev/update.sh
+bin/dev/merge.sh