diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-14 17:46:34 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 10:38:43 +0200 |
| commit | a78dcb3d599cc84b347578940bb0fd44b1ad50b4 (patch) | |
| tree | bd5164b4611f376c137d99919ad3e79d3ae74815 /.dir-locals.el | |
| parent | 961b95c985991ed4421c2419c22026eb0153c1ba (diff) | |
| download | patches-a78dcb3d599cc84b347578940bb0fd44b1ad50b4.tar patches-a78dcb3d599cc84b347578940bb0fd44b1ad50b4.tar.gz | |
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.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions