Stream: VsCoq devs & users

Topic: Pending MRs


view this post on Zulip 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?

view this post on Zulip Paolo Giarrusso (Dec 11 2022 at 19:54):

cc @Huỳnh Trần Khanh

view this post on Zulip 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)?

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Dec 11 2022 at 20:18):

I would also like to see the VsCoq PR/MR backlog looked at

view this post on Zulip Paolo Giarrusso (Dec 12 2022 at 03:42):

I'd be interested — I'm not the perfect candidate, but many low-hanging fruits exist.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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)

view this post on Zulip Laurent Théry (Dec 12 2022 at 12:55):

sorry didn't do my job. Will have a look at the "obvious" PR

view this post on Zulip Paolo Giarrusso (Dec 13 2022 at 01:59):

rather, thanks for picking up the slack!


Last updated: Mar 29 2024 at 10:01 UTC