Update API version to 4.1.0 and add Prometheus metrics endpoint
Issue: docs#191
Summary
This PR updates the Database Lab Engine API version to 4.1.0 and introduces a new Prometheus metrics endpoint for monitoring. It also updates documentation references and improves README links.
Key Changes
- Version bump: Updated API version from 4.0.0 to 4.1.0 in both OpenAPI specifications
- New metrics endpoint: Added
/metricsGET endpoint that returns Prometheus-formatted metrics for monitoring DBLab instances- Includes metrics for instance status, disk usage, clones, snapshots, branches, and sync status
- Does not require the
Verification-Tokenheader for access - Returns metrics in
text/plainformat
- Documentation URL updates: Changed external documentation URL from GitLab to postgres.ai domain
- README improvements:
- Added proper link for "How to work with branches" documentation
- Removed placeholder links for GitHub Actions and GitLab CI/CD integrations (marked as TBD)
- Updated demo server description to remove version-specific reference
Implementation Details
The new /metrics endpoint is tagged as an "Instance" operation and provides Prometheus-compatible metrics output, enabling integration with standard monitoring and observability tools.
Edited by Nikolay Samokhvalov