From 5e257d407b4abf2be61c656dfb1d383396df35b1 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@sbcglobal.net>
Date: Tue, 3 Jan 2017 23:02:19 -0500
Subject: ChangeLog

---
 bin/post-commit | 38 --------------------------------------
 1 file changed, 38 deletions(-)
 delete mode 100755 bin/post-commit

(limited to 'bin/post-commit')

diff --git a/bin/post-commit b/bin/post-commit
deleted file mode 100755
index 489181f..0000000
--- a/bin/post-commit
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/usr/bin/env bash
-# Copyright 2016-2017 Luke Shumaker
-set -e
-
-main() {
-	branch=$(git name-rev --name-only HEAD)
-	if [[ $branch == master ]]; then
-		gitdir="$(git rev-parse --git-dir)"
-		workdir="${gitdir}/pre-generated"
-		exec 8>"${workdir}.lock"
-		flock 8
-
-		rm -rf -- "$workdir"
-		git worktree prune
-		git branch -D pre-generated.tmp &>/dev/null || true
-
-		git worktree add -b pre-generated.tmp "${gitdir}/pre-generated" master
-		(
-			unset GIT_DIR GIT_WORK_TREE
-			cd "$workdir"
-			msg="$(git log -n1 master --pretty=format:%B)"
-
-			make -j1
-			echo '!/out/' >> .gitignore
-
-			git add .
-			git commit -m "make: $msg"
-			git merge --no-edit -s ours pre-generated
-			git checkout pre-generated
-			git merge pre-generated.tmp
-			git branch -d pre-generated.tmp
-		)
-		rm -rf -- "$workdir"
-		git worktree prune
-	fi
-}
-
-main &>/dev/tty &
-- 
cgit v1.2.3-54-g00ecf