https://github.com/coq/coq/pull/14238
I could assign but I don't understand anything to the notification code
(not that it matters a lot, but I want to highlight it before I get complaints)
that pr has nothing to do wth notifications
whatever you call that, I mean sending HTTP requests to Zulip
Ah, sorry, mixed that with the other PR...
Last updated: May 31 2023 at 15:01 UTC