diff options
| author | Joey Hess <joey@kitenet.net> | 2014-11-22 15:18:30 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-11-22 15:18:30 -0400 |
| commit | ef883cbbe809498800f22ea8fd68d9102f64c27d (patch) | |
| tree | c12d53fffc06a6f7edead72cfbb2267ba229c060 /src/Propellor/Git.hs | |
| parent | d409014277402a33b99e5785d1076db43d96ad27 (diff) | |
still do peer-to-peer git push when there are no git remotes
Diffstat (limited to 'src/Propellor/Git.hs')
| -rw-r--r-- | src/Propellor/Git.hs | 3 |
1 files changed, 3 insertions, 0 deletions
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. |