summaryrefslogtreecommitdiff
path: root/Git/Types.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-05-21 18:24:29 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-05-21 18:24:29 -0400
commitb6ebb173e7b5d4d07577cb2918e7d1a24fbc1f60 (patch)
tree8c994e00b091c448d80737aa99bbc181701eee04 /Git/Types.hs
parent14f2a42ca4131a7a51a9e10a94521639b971bccd (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.hs2
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