diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-10 19:14:32 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-10 19:14:32 -0400 |
commit | 93d2dc0d6878ccb1067376d2a03193c222429d3e (patch) | |
tree | f3b240db5892bf800c09a177e7d48d29576af20f /Types.hs | |
parent | 586266e444f72808101a055323887fe08ae7fce3 (diff) |
cache whether a repo is bare
Diffstat (limited to 'Types.hs')
-rw-r--r-- | Types.hs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ data Backend = Backend { -- a git repository data GitRepo = GitRepo { top :: FilePath, + bare :: Bool, remotes :: [GitRepo] } |