Closed jiridanek closed 3 days ago
[APPROVALNOTIFIER] This PR is APPROVED
Approval requirements bypassed by manually added approval.
This pull-request has been approved by: caponetto, jstourac
The full list of commands accepted by this bot can be found here.
The pull request process is described here
This approach is significantly slower than using the GitHub API (3s instead of 1s), but it is less magical for those unfamiliar with the API. So there are reasons to prefer this slower approach.
Description
Fixes #560
How Has This Been Tested?
Merge criteria: