Closed karlkfi closed 2 years ago
Possible additional features to document:
I don't think any of these should block merge, but maybe good additions for the future.
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: karlkfi, mortent
The full list of commands accepted by this bot can be found here.
The pull request process is described here
kapply
as a reference implementation for testing.