Skip to content

Update bg_mon, pg_mon, pg_profile, pg_permissions refs#1185

Merged
hughcapet merged 2 commits intotriggerfrom
update-extensions
Feb 24, 2026
Merged

Update bg_mon, pg_mon, pg_profile, pg_permissions refs#1185
hughcapet merged 2 commits intotriggerfrom
update-extensions

Conversation

@hughcapet
Copy link
Member

@hughcapet hughcapet commented Feb 23, 2026

@hughcapet hughcapet added minor bugfix Bug fixes and patches, e.g. fixing of a production issue that is affecting the customer experience. labels Feb 23, 2026
@jorsol
Copy link

jorsol commented Feb 23, 2026

Why not install set_user and pg_permissions from the apt repos?

@hughcapet
Copy link
Member Author

@jorsol good point. i think they were not there before. will more to pgdg packages installation

@idanovinda
Copy link
Member

👍

1 similar comment
@hughcapet
Copy link
Member Author

👍

@hughcapet hughcapet merged commit 4c2d4b8 into trigger Feb 24, 2026
6 checks passed
@hughcapet hughcapet deleted the update-extensions branch February 24, 2026 09:34
hughcapet added a commit that referenced this pull request Feb 24, 2026
* Update bg_mon, pg_mon, pg_profile, pg_permissions refs

* Use pgdg for set_user and pg_permissions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix Bug fixes and patches, e.g. fixing of a production issue that is affecting the customer experience. minor

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants