All, Please be aware that the primary GIT repository for pgAdmin is now:
https://github.com/pgadmin-org/pgadmin4 The old repo on git.postgresql.org should no longer be used. -- Dave Page Blog: https://pgsnake.blogspot.com Twitter: @pgsnake EDB: https://www.enterprisedb.com