Théo Zimmermann (Dec 10 2020 at 11:08): 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.
Enrico Tassi (Dec 10 2020 at 11:09):ok, when do you have time? between 2 a 4PM today works for me
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.
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".
Théo Zimmermann (Dec 10 2020 at 11:13):It can also be now if it's a short enough call.
Enrico Tassi (Dec 10 2020 at 11:17):nah, lunch now ;-)
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).
Théo Zimmermann (Dec 11 2020 at 08:27):@Enrico Tassi Let me know when would be a good time for you.
Enrico Tassi (Dec 11 2020 at 08:58):Would 2PM work for you?
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 :-/
Théo Zimmermann (Dec 11 2020 at 09:11):Yes, that works for me.
Last updated: May 28 2023 at 18:29 UTC