Skip to content

Conversation

jose-ledesma
Copy link
Contributor

What kind of change does this PR introduce?

Update adminapi release

@jose-ledesma jose-ledesma requested a review from a team as a code owner March 13, 2025 15:24
Copy link
Collaborator

@samrose samrose left a comment

Choose a reason for hiding this comment

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

please also advance the versions for instance

postgres_release:
postgresorioledb-17: "17.0.1.046-orioledb"
postgres15: "15.8.1.053"

Or otherwise a release will not be triggered on merge to develop, and your changes will not get deployed. Thank you!

@jose-ledesma jose-ledesma force-pushed the chore/update_adminapi branch from 62eef5a to cc86521 Compare March 13, 2025 15:47
@jose-ledesma
Copy link
Contributor Author

@samrose done!

@darora darora merged commit d4a4bf3 into develop Mar 13, 2025
11 of 12 checks passed
@darora darora deleted the chore/update_adminapi branch March 13, 2025 23:51
damonrand pushed a commit to cepro/postgres that referenced this pull request Jun 15, 2025
Co-authored-by: Jose Ledesma <[email protected]>
Co-authored-by: Div Arora <[email protected]>
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.

3 participants