From 4adbc0eecebc3b59a66f014919a39a43d0940e96 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Mon, 19 Nov 2012 12:08:53 -0400
Subject: improvements to push code

---
 commit.d/99git-push | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 commit.d/99git-push

(limited to 'commit.d/99git-push')

diff --git a/commit.d/99git-push b/commit.d/99git-push
deleted file mode 100755
index 0c3cdd1..0000000
--- a/commit.d/99git-push
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-set -e
-
-if [ "$VCS" = git ] && [ -d .git ] && [ -n "$PUSH_REMOTE" ]; then
-	if git config --get remote.$PUSH_REMOTE.url; then
-		git push $PUSH_REMOTE master
-	else
-		echo "etckeeper warning: Configured remote '$PUSH_REMOTE' is unknown to git"
-	fi
-fi
-- 
cgit v1.2.3