wiki/.devcontainer/pgadmin-servers.json

{
  "Servers": {
    "1": {
        "Name": "Dev",
        "Group": "Servers",
        "Port": 5432,
        "Username": "postgres",
        "Host": "db",
        "SSLMode": "prefer",
        "MaintenanceDB": "postgres"
    }
  }
}