1 files changed, 11 insertions, 0 deletions
diff --git a/post-commit b/post-commit
new file mode 100755
index 0000000..574f468
--- /dev/null
+++ b/post-commit
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+branch=$(git name-rev --name-only HEAD)
+if [[ $branch == master ]]; then
+	git checkout pre-generated
+	git merge master -m 'bogus'
+	make
+	git add .
+	git commit --amend -m "make: $(git log -n1 master --pretty=format:%B)"
+	git checkout master
+fi