diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-11-07 18:02:00 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-11-07 18:02:00 -0400 |
| commit | cffc5e74129be798801086c612efd099fe7148ac (patch) | |
| tree | d9f1849379ded21dcf1b604c1eb76d8fecdf2900 /Git/Types.hs | |
| parent | 38af1ef22c6da0ade33208021f51141eff986e94 (diff) | |
webapp: Improve UI around remote that have no annex.uuid set, either because setup of them is incomplete, or because the remote git repository is not a git-annex repository.
Complicated by such repositories potentially being repos that should have
an annex.uuid, but it failed to be gotten, perhaps due to the past ssh repo
setup bugs. This is handled now by an Upgrade Repository button.
Diffstat (limited to 'Git/Types.hs')
| -rw-r--r-- | Git/Types.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Git/Types.hs b/Git/Types.hs index 2a33fb27d..e63e93077 100644 --- a/Git/Types.hs +++ b/Git/Types.hs @@ -36,13 +36,15 @@ data Repo = Repo , fullconfig :: M.Map String [String] , remotes :: [Repo] -- remoteName holds the name used for this repo in remotes - , remoteName :: Maybe String + , remoteName :: Maybe RemoteName -- alternate environment to use when running git commands , gitEnv :: Maybe [(String, String)] -- global options to pass to git when running git commands , gitGlobalOpts :: [CommandParam] } deriving (Show, Eq) +type RemoteName = String + {- A git ref. Can be a sha1, or a branch or tag name. -} newtype Ref = Ref String deriving (Eq, Ord) |