Paolo Giarrusso (Dec 11 2022 at 19:54): Paolo Giarrusso (Dec 11 2022 at 19:54):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?
Paolo Giarrusso (Dec 11 2022 at 19:54):cc @Huỳnh Trần Khanh
Paolo Giarrusso (Dec 11 2022 at 20:03):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)?
Karl Palmskog (Dec 11 2022 at 20:18):@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.
Karl Palmskog (Dec 11 2022 at 20:18):I would also like to see the VsCoq PR/MR backlog looked at
Paolo Giarrusso (Dec 12 2022 at 03:42):I'd be interested — I'm not the perfect candidate, but many low-hanging fruits exist.
Huỳnh Trần Khanh (Dec 12 2022 at 06:05):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.
Huỳnh Trần Khanh (Dec 12 2022 at 06:05):Just sometimes! Now that the programming contests are over, I can go back to work again.
Karl Palmskog (Dec 12 2022 at 10:34):ping @Maxime Dénès that @Paolo Giarrusso is aboard as VsCoq maintainer as well to help out with PR backlog
Karl Palmskog (Dec 12 2022 at 10:36):I invited Paolo as general member of Coq-community org as well (this is our usual approach for maintainers)
Laurent Théry (Dec 12 2022 at 12:55):sorry didn't do my job. Will have a look at the "obvious" PR
Paolo Giarrusso (Dec 13 2022 at 01:59):rather, thanks for picking up the slack!
Last updated: Jun 04 2023 at 22:30 UTC