From 8c4352a0a544b2e5a4ed717999fc7c6ecb0a328f Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 4 May 2020 15:38:39 -0400 Subject: merge from git-annex * Improve fetching from a remote with an url in host:path format. * Merge from git-annex. --- Git.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'Git.hs') diff --git a/Git.hs b/Git.hs index 87a8d19..d33345e 100644 --- a/Git.hs +++ b/Git.hs @@ -14,6 +14,7 @@ module Git ( Repo(..), Ref(..), fromRef, + fromRef', Branch, Sha, Tag, -- cgit v1.2.3