diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-03 15:58:23 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-03 16:00:00 -0400 |
commit | 132323501850eec21c1ccfd00b654428d8bafe53 (patch) | |
tree | 8fc7f1a49e5509314c9ec0869c97591bd6100831 | |
parent | 5017c1e252b72c11db5564df6c0d78e163e01156 (diff) | |
parent | 9e74a91806a5615f2f21cfff2ac0daddfbe80f90 (diff) |
And this is the generated branch
-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 |