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
This commit is contained in:
parent
dc5550a54e
commit
67e46229a5
36 changed files with 266 additions and 191 deletions
|
@ -42,7 +42,8 @@ gitRepoInfo r = do
|
|||
let lastsynctime = case mtimes of
|
||||
[] -> "never"
|
||||
_ -> show $ posixSecondsToUTCTime $ realToFrac $ maximum mtimes
|
||||
repo <- Remote.getRepo r
|
||||
return
|
||||
[ ("repository location", Git.repoLocation (Remote.repo r))
|
||||
[ ("repository location", Git.repoLocation repo)
|
||||
, ("last synced", lastsynctime)
|
||||
]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue