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 | guix-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