looking at https://github.com/coq-community/vscoq/pulls it seems many MRs are open and are still relevant; is there a way that one could help?
cc @Huỳnh Trần Khanh
For instance, would some user testing be sufficient to merge https://github.com/coq-community/vscoq/pull/299 ? Or the smaller https://github.com/coq-community/vscoq/pull/279 (included in the larger one)?
@Paolo Giarrusso if you want to help and it's OK with other maintainers (which is likely) we could make you co-maintainer as well. There is no fixed period, you could step down anytime.
I would also like to see the VsCoq PR/MR backlog looked at
I'd be interested — I'm not the perfect candidate, but many low-hanging fruits exist.
Dear folks, I've granted Paolo Giarrusso admin rights in the VsCoq repo. I'm just a college student and I am sometimes time strapped. Having another maintainer would be great.
Just sometimes! Now that the programming contests are over, I can go back to work again.
ping @Maxime Dénès that @Paolo Giarrusso is aboard as VsCoq maintainer as well to help out with PR backlog
I invited Paolo as general member of Coq-community org as well (this is our usual approach for maintainers)
sorry didn't do my job. Will have a look at the "obvious" PR
rather, thanks for picking up the slack!
Last updated: Jun 04 2023 at 22:30 UTC