Closed justinsb closed 3 months ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: justinsb
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Let me know if I can help speed this along somehow!
This PR is related with the content of #379. I think #379 can be closed if this PR is merged.
@justinsb Ping, how about the current state of this?
Removed WIP, and I also think we should consider expanding ownership of this repo, perhaps starting with @tomasaschan . Sometimes I get pulled into different things and things fall off my plate - sorry for the delays here!
/lgtm
(but I suspect it won't matter yet...)
@tomasaschan: changing LGTM is restricted to collaborators
/lgtm
I agree with expanding ownership. 👍