From ef883cbbe809498800f22ea8fd68d9102f64c27d Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Sat, 22 Nov 2014 15:18:30 -0400
Subject: still do peer-to-peer git push when there are no git remotes

---
 src/Propellor/Git.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Propellor/Git.hs')

diff --git a/src/Propellor/Git.hs b/src/Propellor/Git.hs
index e5f464c0..ccf97b94 100644
--- a/src/Propellor/Git.hs
+++ b/src/Propellor/Git.hs
@@ -42,6 +42,9 @@ hasOrigin = catchDefaultIO False $ do
 	rs <- lines <$> readProcess "git" ["remote"]
 	return $ "origin" `elem` rs
 
+hasGitRepo :: IO Bool
+hasGitRepo = doesFileExist ".git/HEAD"
+
 {- To verify origin branch commit's signature, have to convince gpg
  - to use our keyring.
  - While running git log. Which has no way to pass options to gpg.
-- 
cgit v1.3-2-g0d8e