Skip to content

Add git revision to Prometheus metrics#1052

Merged
tchoutri merged 1 commit intodevelopmentfrom
reorganise-metrics
Apr 8, 2026
Merged

Add git revision to Prometheus metrics#1052
tchoutri merged 1 commit intodevelopmentfrom
reorganise-metrics

Conversation

@tchoutri
Copy link
Copy Markdown
Contributor

@tchoutri tchoutri commented Apr 8, 2026

Proposed changes

Contributor checklist

  • My PR is related to <insert ticket number>
  • I have read and understood the CONTRIBUTING guide
  • I have inserted my change and a link to this PR in the CHANGELOG
  • I have updated documentation in ./docs/docs if a public feature has a behaviour change

@tchoutri tchoutri force-pushed the reorganise-metrics branch from ca731c5 to b3e468c Compare April 8, 2026 11:49
@tchoutri tchoutri force-pushed the reorganise-metrics branch from b3e468c to 850f09b Compare April 8, 2026 11:58
@tchoutri tchoutri merged commit df931e0 into development Apr 8, 2026
12 of 13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant