diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-08-29 17:41:10 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-08-30 09:27:19 +0000 |
| commit | a4e766bb01114f0055eb04c39d8f0923b9cb4d6e (patch) | |
| tree | 90e5e9b8d8213e51350519eb3bfec44cd4bd8ddf /executor/common_linux.h | |
| parent | b42ca3a7c82c932ad7ee2ae2a89ae7dfe1e583a5 (diff) | |
pkg/vcs: circumvent ref conflicts during fetch
If the remote repo's tags conflict with the local ones, `git fetch` may
fail with `error: cannot lock ref %: % exists`.
It seems that the only way to restore the repository in this case is to
do `git fetch` with `--prune --prune-tags`. Since this also forces the
repository to forget all tags not present in the remote, let's do it
only when we got the error message.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions
