docs: update OpenAPI specs to v4.1.0 and fix README links

- Update dblab_openapi.yaml version from 4.0.0 to 4.1.0
- Add /metrics endpoint to OpenAPI spec
- Update dblab_server_swagger.yaml version from 3.5.0 to 4.1.0
- Fix external docs URL to point to postgres.ai/docs
- Update demo server description
- Fix README branching howto link (was TBD placeholder)

https://claude.ai/code/session_011sPDgBjzL2N2X6jiYyoTjQ

Author: claude

README.md

@@ -172,9 +172,9 @@ For proposals, bug reports, and participation in development, see our [Contribut
 - [How to install and initialize Database Lab CLI](https://postgres.ai/docs/how-to-guides/cli/cli-install-init)
 - [How to manage DBLab](https://postgres.ai/docs/how-to-guides/administration)
 - [How to work with clones](https://postgres.ai/docs/how-to-guides/cloning)
-- [How to work with branches](XXXXXXX) – TBD
-- [How to integrate DBLab with GitHub Actions](XXXXXXX) – TBD
-- [How to integrate DBLab with GitLab CI/CD](XXXXXXX) – TBD
+- [How to work with branches](https://postgres.ai/docs/dblab-howtos/branching)
+- How to integrate DBLab with GitHub Actions – TBD
+- How to integrate DBLab with GitLab CI/CD – TBD
 
 You can find more in the ["How-to guides" section](https://postgres.ai/docs/how-to-guides) of the documentation.
 

engine/api/swagger-spec/dblab_openapi.yaml

@@ -16,14 +16,14 @@ info:
   license:
     name: Apache 2.0
     url: https://github.com/postgres-ai/database-lab-engine/blob/dle-4-0/LICENSE
-  version: 4.0.0
+  version: 4.1.0
 externalDocs:
   description: DBLab Docs
-  url: https://gitlab.com/postgres-ai/docs/tree/master/docs/database-lab
+  url: https://postgres.ai/docs/database-lab
 
 servers:
   - url: "https://demo.dblab.dev/api"
-    description: "DBLab 4.0 demo server (with DB branching support); token: 'demo-token'"
+    description: "DBLab demo server (with DB branching support); token: 'demo-token'"
     x-examples:
       Verification-Token: "demo-token"
   - url: "https://demo.aws.postgres.ai:446/api"
@@ -1255,6 +1255,22 @@ paths:
               example:
                 code: "UNAUTHORIZED"
                 message: "Check your verification token."
+  /metrics:
+    get:
+      tags:
+      - Instance
+      summary: Prometheus metrics
+      description: "Returns Prometheus-formatted metrics for monitoring the DBLab instance.
+        Includes metrics for instance status, disk usage, clones, snapshots, branches,
+        sync status, and more. This endpoint does not require the 'Verification-Token' header."
+      operationId: metrics
+      responses:
+        200:
+          description: Prometheus metrics in text format
+          content:
+            text/plain:
+              schema:
+                type: string
   /observation/start:
     post:
       tags:

engine/api/swagger-spec/dblab_server_swagger.yaml

@@ -15,10 +15,10 @@ info:
   license:
     name: AGPL v3 / Database Lab License
     url: https://github.com/postgres-ai/database-lab-engine/blob/master/LICENSE
-  version: 3.5.0
+  version: 4.1.0
 externalDocs:
   description: DBLab Docs
-  url: https://gitlab.com/postgres-ai/docs/tree/master/docs/database-lab
+  url: https://postgres.ai/docs/database-lab
 
 servers:
   - url: "https://demo.dblab.dev/api"