summaryrefslogtreecommitdiff
path: root/Types.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2010-10-10 19:14:32 -0400
committerGravatar Joey Hess <joey@kitenet.net>2010-10-10 19:14:32 -0400
commit93d2dc0d6878ccb1067376d2a03193c222429d3e (patch)
treef3b240db5892bf800c09a177e7d48d29576af20f /Types.hs
parent586266e444f72808101a055323887fe08ae7fce3 (diff)
cache whether a repo is bare
Diffstat (limited to 'Types.hs')
-rw-r--r--Types.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Types.hs b/Types.hs
index cab4b2016..e1f598f0f 100644
--- a/Types.hs
+++ b/Types.hs
@@ -21,6 +21,7 @@ data Backend = Backend {
-- a git repository
data GitRepo = GitRepo {
top :: FilePath,
+ bare :: Bool,
remotes :: [GitRepo]
}