Stream: coqbot devs & users

Topic: Patching coqbot


view this post on Zulip Théo Zimmermann (Dec 10 2020 at 11:08):

@Enrico Tassi I would be very happy to guide you through the code of coqbot, especially because I think it is very important that I do not keep being the only Coq dev that knows about coqbot internals.

view this post on Zulip Enrico Tassi (Dec 10 2020 at 11:09):

ok, when do you have time? between 2 a 4PM today works for me

view this post on Zulip Théo Zimmermann (Dec 10 2020 at 11:10):

Unfortunately I've a meeting with Cyril and Vincent at about that time. I'm free anytime tomorrow.

view this post on Zulip Enrico Tassi (Dec 10 2020 at 11:12):

I think tomorrow it works as well for me. I looked at the code, it very clear. what I miss is "the overall model of events" and "how to build/test a patch".

view this post on Zulip Théo Zimmermann (Dec 10 2020 at 11:13):

It can also be now if it's a short enough call.

view this post on Zulip Enrico Tassi (Dec 10 2020 at 11:17):

nah, lunch now ;-)

view this post on Zulip Théo Zimmermann (Dec 10 2020 at 11:24):

FTR, there are two ways to approach patching suggestions by coqbot. One is to use standard review comments with code suggestions (as a reviewer would do). The other one is to add support for "actions" in the GitHub Check report (see https://developer.github.com/v3/checks/runs/#check-runs-and-requested-actions).

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 08:27):

@Enrico Tassi Let me know when would be a good time for you.

view this post on Zulip Enrico Tassi (Dec 11 2020 at 08:58):

Would 2PM work for you?

view this post on Zulip Enrico Tassi (Dec 11 2020 at 08:59):

I really don't have constraints, but I missed your message early and I started something else now :-/

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 09:11):

Yes, that works for me.


Last updated: Jan 31 2023 at 09:01 UTC