Skip to content

Conversation

@akva2
Copy link
Member

@akva2 akva2 commented Jan 5, 2026

This is not really exercised on jenkins, but is useful for other tooling running against local repos.

@akva2 akva2 added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Jan 5, 2026
@akva2
Copy link
Member Author

akva2 commented Jan 5, 2026

jenkins build this please

Copy link
Member

@bska bska left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Very good. I'll merge into master.

@bska bska merged commit 9044497 into OPM:master Jan 5, 2026
3 checks passed
@akva2 akva2 deleted the absolute_revs branch January 5, 2026 09:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants