diff options
| author | Kjetil Orbekk <kj@orbekk.com> | 2022-01-29 14:22:55 -0500 |
|---|---|---|
| committer | Kjetil Orbekk <kj@orbekk.com> | 2022-04-29 18:46:21 -0400 |
| commit | 1203e489263fe867d0a1ae3fd9270f40c8a1c24e (patch) | |
| tree | 8619e0d20750be438e3153ff5bcb034c7e41e951 /mk | |
| parent | de54e1cd3fce6eb456048b6a346a0be2b88660ae (diff) | |
Store cached head in cached git repo
The previous head caching implementation stored two paths in the local
cache; one for the cached git repo and another textfile containing the
resolved HEAD ref. This commit instead stores the resolved HEAD by
setting the HEAD ref in the local cache appropriately.
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions