diff options
| author | Joey Hess <joeyh@joeyh.name> | 2018-06-04 14:31:55 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-06-04 15:30:26 -0400 |
| commit | 67e46229a51b980cb523c37acea1e160c57a13c6 (patch) | |
| tree | dac9baef1d02f5fc5b87f4efce92ffc0c4ae3172 /Types | |
| parent | dc5550a54e21bd0d8bcc899620076eafdd8a1e46 (diff) | |
change Remote.repo to Remote.getRepo
This is groundwork for letting a repo be instantiated the first time
it's actually used, instead of at startup.
The only behavior change is that some old special cases for xmpp remotes
were removed. Where before git-annex silently did nothing with those
no-longer supported remotes, it may now fail in some way.
The additional IO action should have no performance impact as long as
it's simply return.
This commit was sponsored by Boyd Stephen Smith Jr. on Patreon
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/Remote.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index 78ec416f08..f50bcef693 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -111,8 +111,8 @@ data RemoteA a = Remote , repairRepo :: Maybe (a Bool -> a (IO Bool)) -- a Remote has a persistent configuration store , config :: RemoteConfig - -- git repo for the Remote - , repo :: Git.Repo + -- Get the git repo for the Remote. + , getRepo :: a Git.Repo -- a Remote's configuration from git , gitconfig :: RemoteGitConfig -- a Remote can be assocated with a specific local filesystem path |