diff options
| author | Teddy Wing | 2021-06-03 23:35:53 +0200 |
|---|---|---|
| committer | Teddy Wing | 2021-06-03 23:35:53 +0200 |
| commit | 3964a27da7cf61b540992387e8553382dffecb46 (patch) | |
| tree | e8a237c9287039ed3730a8c43974dad20fed0e53 /src/repo.rs | |
| parent | 654a5b5b58bead8a707d325e79d86bbe93ea2345 (diff) | |
| download | reflectub-3964a27da7cf61b540992387e8553382dffecb46.tar.bz2 | |
main::update_mtime(): Use the packed-refs file if no default branch ref
A repository cloned with:
$ git clone --mirror REPO
doesn't have any ref files in `repo.git/refs/heads/*`. Instead, the refs
are stored in `repo.git/packed-refs`. Update the pack file if the
default branch ref file doesn't exist. CGit will look at the time on the
'packed-refs' file when that's the case.
Diffstat (limited to 'src/repo.rs')
0 files changed, 0 insertions, 0 deletions