pgadmin_dev_servers.json

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