git: 'update-cached-checkout' avoids network access when unnecessary.
authorLudovic Courtès <ludo@gnu.org>
Sat, 14 Sep 2019 15:46:34 +0000 (17:46 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 23 Sep 2019 08:38:43 +0000 (10:38 +0200)
commita78dcb3d599cc84b347578940bb0fd44b1ad50b4
treebd5164b4611f376c137d99919ad3e79d3ae74815
parent961b95c985991ed4421c2419c22026eb0153c1ba
git: 'update-cached-checkout' avoids network access when unnecessary.

* guix/git.scm (reference-available?): New procedure.
(update-cached-checkout): Avoid call to 'remote-fetch' when REPOSITORY
already contains REF.
guix/git.scm