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 /metrics GET 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-Token header for access
    • Returns metrics in text/plain format
  • 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

Merge request reports

Loading