Skip to content

Conversation

@veprbl
Copy link
Member

@veprbl veprbl commented Jan 9, 2026

git push --prune tries to use default push configuration, which doesn't work when HEAD is not on a branch. One fix could be to specify refs that prune is supposed to push, but we already have a push for --all, so why not combine the operations.

This is intended as a fix for failed tag sync such as one in https://github.com/eic/containers/actions/runs/20833337476/job/59852664256

`git push --prune` tries to use default push configuration, which doesn't work when HEAD is not on a branch. One fix could be to specify refs that prune is supposed to push, but we already have a push for `--all`, so why not combine the operations.
@veprbl veprbl changed the title Merge git push --all and git push --prune steps. Merge git push --all and git push --prune steps Jan 9, 2026
veprbl added a commit to eic/containers that referenced this pull request Jan 9, 2026
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.

2 participants