diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-27 13:20:15 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-27 13:52:49 +0100 |
| commit | 787766ed1e7f0806a98e696830542da528f957bb (patch) | |
| tree | 64eda2098fe4492103b560d3e167ac7fc02af364 /.gitignore | |
| parent | 785af04a7574867dc940c791daa938a2432d0450 (diff) | |
| download | guix-787766ed1e7f0806a98e696830542da528f957bb.tar guix-787766ed1e7f0806a98e696830542da528f957bb.tar.gz | |
git-authenticate: Keep a local cache of previously-authenticated commits.
A list of already-authenticated commits is kept in
~/.cache/guix/authentication. This speeds up subsequent "make
authenticate" invocations.
* build-aux/git-authenticate.scm (authenticated-commit-cache-file)
(previously-authenticated-commits, cache-authenticated-commit): New
procedures.
(git-authenticate): Define 'authenticated-commits' and pass it as a
third argument to 'commit-difference'. Add call to
'cache-authenticated-commit'. Don't display signing stats when STATS is
null.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions