Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: refuse to backport if migrations changed #5035

Merged
merged 1 commit into from
Aug 23, 2024

Conversation

johanbrandhorst
Copy link
Collaborator

@johanbrandhorst johanbrandhorst commented Aug 21, 2024

@johanbrandhorst johanbrandhorst added backport/0.5.x Backport changes to `release/0.5.x` and removed core/db core core/sql labels Aug 21, 2024
@johanbrandhorst johanbrandhorst added backport/0.16.x and removed backport/0.5.x Backport changes to `release/0.5.x` backport/0.16.x labels Aug 21, 2024
@johanbrandhorst johanbrandhorst force-pushed the jbrandhorst-refuse-backports-of-migrations branch from e4d7466 to 759aff4 Compare August 21, 2024 22:25
@johanbrandhorst johanbrandhorst added this to the 0.18.x milestone Aug 21, 2024
@johanbrandhorst johanbrandhorst marked this pull request as ready for review August 21, 2024 22:26
Copy link
Collaborator

@moduli moduli left a comment

Choose a reason for hiding this comment

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

Seems fine.

Wondering if it's worth somehow posting a comment to the PR when it fails. Just an idea.

@johanbrandhorst johanbrandhorst force-pushed the jbrandhorst-refuse-backports-of-migrations branch from 759aff4 to 2964acb Compare August 23, 2024 17:58
@johanbrandhorst
Copy link
Collaborator Author

Seems fine.

Wondering if it's worth somehow posting a comment to the PR when it fails. Just an idea.

Great idea, I stole the logic from the schema diff workflow, PTAL.

@johanbrandhorst johanbrandhorst merged commit 50ead47 into main Aug 23, 2024
61 of 63 checks passed
@johanbrandhorst johanbrandhorst deleted the jbrandhorst-refuse-backports-of-migrations branch August 23, 2024 19:07
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.

2 participants