Closed marquiz closed 1 year ago
/assign @ArangoGutierrez
Needed to cherry-pick one mdlint patch from master
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: ArangoGutierrez, marquiz
The full list of commands accepted by this bot can be found here.
The pull request process is described here
The operand_version parameter is supposed to point to a certain release branch, not to a specific tag.