Skip to content

Stop fetching tags - #18

Merged
arbourd merged 1 commit into
mainfrom
fix-tags
Jul 27, 2026
Merged

arbourd merged 1 commit into
mainfrom
fix-tags

Conversation

@arbourd

@arbourd arbourd commented Jul 27, 2026

Copy link
Copy Markdown
Owner

Calls fetch with --no-tags and --no-prune-tags to ignore tag
fetching entirely. This prevents errors when a git repo chooses to
force-push certain tags, which would either force us to clobber them or
error.

Fixes #16

Calls fetch with `--no-tags` and `--no-prune-tags` to ignore tag
fetching entirely. This prevents errors when a git repo chooses to
force-push certain tags, which would either force us to clobber them or
error.
@arbourd
arbourd merged commit 86746d8 into main Jul 27, 2026
4 checks passed
@arbourd
arbourd deleted the fix-tags branch July 27, 2026 01:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

sync fails hard when remote force-moves a tag (e.g. zed-industries/zed's nightly)

1 participant