Closed JeanRochCoulon closed 1 year ago
I do not know who gets the super commit power. Maybe @MikeOpenHWGroup ?
Hi @JeanRochCoulon, yes, I have Committer rights for this repo. @DBees does also.
I have approved and will merge in the PR now. Stay tuned for a pull-request from me with my suggested edits.
I do not know who gets the super commit power. Maybe @MikeOpenHWGroup ?