Skip to content

PostgreSQL 18 updates#614

Merged
pydis-ff-bot[bot] merged 1 commit into
mainfrom
jb3/postgres-18
Nov 13, 2025
Merged

PostgreSQL 18 updates#614
pydis-ff-bot[bot] merged 1 commit into
mainfrom
jb3/postgres-18

Conversation

@jb3
Copy link
Copy Markdown
Member

@jb3 jb3 commented Nov 13, 2025

Updates our Ansible PostgreSQL setup to:

  • Use the PostgreSQL repo
  • Switch to PostgreSQL 18
  • Re-order tasks

@github-actions github-actions Bot added component: database An issue relating to storage of data in one of our databases (e.g. PostgreSQL, Redis, MongoDB) group: ansible Issues and pull requests related to the Ansible setup labels Nov 13, 2025
@github-project-automation github-project-automation Bot moved this from Up next to In Progress in Infrastructure Nov 13, 2025
@ChrisLovering
Copy link
Copy Markdown
Member

ChrisLovering commented Nov 13, 2025

/merge

@pydis-ff-bot
Copy link
Copy Markdown

pydis-ff-bot Bot commented Nov 13, 2025

✅ Successfully fast-forwarded commits from python-discord:jb3/postgres-18 onto main

@pydis-ff-bot pydis-ff-bot Bot merged commit 98f6105 into main Nov 13, 2025
10 checks passed
@pydis-ff-bot pydis-ff-bot Bot deleted the jb3/postgres-18 branch November 13, 2025 20:45
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Infrastructure Nov 13, 2025
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Nov 13, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ChrisLovering ChrisLovering ChrisLovering approved these changes

Assignees

No one assigned

Labels

component: database An issue relating to storage of data in one of our databases (e.g. PostgreSQL, Redis, MongoDB) group: ansible Issues and pull requests related to the Ansible setup

Projects

Infrastructure
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jb3 @ChrisLovering