Close the repository when pulling
And remove the monitor, as I'm not sure it's necessary.
This commit is contained in:
parent
851a6c17b5
commit
89782b3449
|
@ -77,7 +77,8 @@
|
|||
;; Only fetch remote if it has not been cloned just before.
|
||||
(when cache-exists?
|
||||
(remote-fetch (remote-lookup repository "origin")
|
||||
#:fetch-options ((@@ (guix git) make-default-fetch-options))))))
|
||||
#:fetch-options ((@@ (guix git) make-default-fetch-options))))
|
||||
(repository-close! repository)))
|
||||
|
||||
(define (poll-git-repository conn git-repository-id)
|
||||
(define git-repository-details
|
||||
|
@ -89,18 +90,16 @@
|
|||
conn
|
||||
'latest-channel-instances
|
||||
(lambda ()
|
||||
;; Maybe this helps avoid segfaults?
|
||||
(monitor
|
||||
;; This was using update-cached-checkout, but it wants to checkout
|
||||
;; refs/remotes/origin/HEAD by default, and that can fail for some
|
||||
;; reason on some repositories:
|
||||
;;
|
||||
;; reference 'refs/remotes/origin/HEAD' not found
|
||||
;;
|
||||
;; I just want to update the cached checkout though, so trying to
|
||||
;; checkout some revision is unnecessary, hence
|
||||
;; just-update-cached-checkout
|
||||
(just-update-cached-checkout (second git-repository-details)))
|
||||
;; This was using update-cached-checkout, but it wants to checkout
|
||||
;; refs/remotes/origin/HEAD by default, and that can fail for some reason
|
||||
;; on some repositories:
|
||||
;;
|
||||
;; reference 'refs/remotes/origin/HEAD' not found
|
||||
;;
|
||||
;; I just want to update the cached checkout though, so trying to
|
||||
;; checkout some revision is unnecessary, hence
|
||||
;; just-update-cached-checkout
|
||||
(just-update-cached-checkout (second git-repository-details))
|
||||
|
||||
(let* ((repository-directory
|
||||
(url-cache-directory
|
||||
|
|
Loading…
Reference in New Issue