Skip to content

Harden the release workflow#1025

Merged
ggainey merged 1 commit intopulp:mainfrom
mdellweg:harden_release
Apr 7, 2026
Merged

Harden the release workflow#1025
ggainey merged 1 commit intopulp:mainfrom
mdellweg:harden_release

Conversation

@mdellweg
Copy link
Copy Markdown
Member

@mdellweg mdellweg commented Apr 7, 2026

Don't push the release tag if the branch wasn't updated containing the tagged commit.

Don't push the release tag if the branch wasn't updated containing the tagged commit.
@mdellweg mdellweg marked this pull request as ready for review April 7, 2026 14:42
Copy link
Copy Markdown
Contributor

@ggainey ggainey left a comment

Choose a reason for hiding this comment

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

Atomic changes def should be atomic. If we can't do the release completely-correctly, we need to not-publish-it. Approved.

@ggainey ggainey merged commit c7c42c4 into pulp:main Apr 7, 2026
13 checks passed
@mdellweg mdellweg deleted the harden_release branch April 7, 2026 20:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants