PostgreSQL repository builder

This change adds the PostgreSQL repository builder to the documented
list of repository builders.

[#53156523]
Merge 53156523-new-repository to master

[Completes #53156523]