Skip to content

Conversation

@akva2
Copy link
Member

@akva2 akva2 commented Dec 17, 2025

allow for flexibility in how sources are provided

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

akva2 commented Dec 17, 2025

jenkins build this please

@akva2 akva2 force-pushed the jenkins_sep_clone branch from 53d928b to 9a6b72c Compare December 17, 2025 11:56
@akva2
Copy link
Member Author

akva2 commented Dec 17, 2025

jenkins build this please

@akva2
Copy link
Member Author

akva2 commented Dec 17, 2025

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.

This looks good to me and I'm excited about the features we get from this work. Please merge when you're ready.

allow for flexibility in how sources are provided
@akva2 akva2 force-pushed the jenkins_sep_clone branch from 8068cfc to 5d2fdb4 Compare December 17, 2025 13:43
@akva2
Copy link
Member Author

akva2 commented Dec 17, 2025

jenkins build this please

@akva2 akva2 merged commit e12f144 into OPM:master Dec 17, 2025
2 checks passed
@akva2 akva2 deleted the jenkins_sep_clone branch December 17, 2025 13:56
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