diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-05-21 18:24:29 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-05-21 18:24:29 -0400 |
| commit | b6ebb173e7b5d4d07577cb2918e7d1a24fbc1f60 (patch) | |
| tree | 8c994e00b091c448d80737aa99bbc181701eee04 /Git/Types.hs | |
| parent | 14f2a42ca4131a7a51a9e10a94521639b971bccd (diff) | |
XMPP: Avoid redundant and unncessary pushes. Note that this breaks compatibility with previous versions of git-annex, which will refuse to accept any XMPP pushes from this version.
Diffstat (limited to 'Git/Types.hs')
| -rw-r--r-- | Git/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Git/Types.hs b/Git/Types.hs index 57e5ca6e2..4765aad6c 100644 --- a/Git/Types.hs +++ b/Git/Types.hs @@ -41,7 +41,7 @@ data Repo = Repo {- A git ref. Can be a sha1, or a branch or tag name. -} newtype Ref = Ref String - deriving (Eq) + deriving (Eq, Ord) instance Show Ref where show (Ref v) = v |