diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-04-06 19:06:03 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-06 19:10:23 -0400 |
| commit | 8c4bfe2f2141bce84ea22120da445c148b6f1168 (patch) | |
| tree | 817f5951cec02c1acec3f26c886beea79cf0957c /Git | |
| parent | 1eb96cc31a0f0ec0339f6b28a362b057444069af (diff) | |
added git-annex remotedaemon
So far, handling connecting to git-annex-shell notifychanges, and
pulling immediately when a change is pushed to a remote.
A little bit buggy (crashes after the first pull), but it already works!
This commit was sponsored by Mark Sheppard.
Diffstat (limited to 'Git')
| -rw-r--r-- | Git/Types.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Git/Types.hs b/Git/Types.hs index 802922532..950fe4b00 100644 --- a/Git/Types.hs +++ b/Git/Types.hs @@ -27,7 +27,7 @@ data RepoLocation | LocalUnknown FilePath | Url URI | Unknown - deriving (Show, Eq) + deriving (Show, Eq, Ord) data Repo = Repo { location :: RepoLocation @@ -41,7 +41,7 @@ data Repo = Repo , gitEnv :: Maybe [(String, String)] -- global options to pass to git when running git commands , gitGlobalOpts :: [CommandParam] - } deriving (Show, Eq) + } deriving (Show, Eq, Ord) type RemoteName = String |