Skip to content

.github: do not push to tag on push to main - #8

Open
charludo wants to merge 2 commits into
mainfrom
ch/do-not-push-tag-from-main
Open

.github: do not push to tag on push to main#8
charludo wants to merge 2 commits into
mainfrom
ch/do-not-push-tag-from-main

Conversation

@charludo

@charludo charludo commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@charludo
charludo requested a review from thomasten September 2, 2026 08:26
password: ${{ secrets.GITHUB_TOKEN }}
- name: Push versioned tag
if: ${{ !startsWith(github.ref, 'refs/tags/v') }}
run: nix run .#push -- "v$(cat version.txt)"

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Where is the versioned tag pushed on release?

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We're currently doing it the other way around here, pushing a tag starts the release flow for that tag.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry, I meant the tagged container push.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, sorry. The publish workflow runs nix run .#render-k8s-resources, which calls `push-collateral-proxy "$tag". Yeah, maybe not the clearest naming 😄

Added a second commit that untangles push from rendering the resources.

Comment on lines 26 to 28
- name: Push latest tag (main only)
if: github.ref == 'refs/heads/main'
run: nix run .#push -- latest

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Now that "on push branches main" is removed, this is always false.

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