[CI] allow overriding subproject submodules from PR title markers#7
Merged
Merged
DCO / DCO
succeeded
Apr 24, 2026 in 0s
DCO
Commit sign-off was manually approved.
Loading
Commit sign-off was manually approved.