diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rwxr-xr-x | post-commit | 11 |
2 files changed, 12 insertions, 1 deletions
@@ -1,2 +1,2 @@ /.var* -/.tmp*
\ No newline at end of file +/.tmp* 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 |