@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.
ok, when do you have time? between 2 a 4PM today works for me
Unfortunately I've a meeting with Cyril and Vincent at about that time. I'm free anytime tomorrow.
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".
It can also be now if it's a short enough call.
nah, lunch now ;-)
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).
@Enrico Tassi Let me know when would be a good time for you.
Would 2PM work for you?
I really don't have constraints, but I missed your message early and I started something else now :-/
Yes, that works for me.
Last updated: Jan 31 2023 at 09:01 UTC