This topic was moved by Théo Zimmermann to #GitHub notifications > Coq Notifications
I've moved the three notification topics to a specific stream to answer the request of @Emilio Jesús Gallego Arias at coq/coq#12382. Let's see what this gives.
Thanks a lot folks; maybe I'm alone in my use case but I tend to click on streams, and use the "new messages" info so I was getting a bit of noise in that sense.
Last updated: Feb 01 2023 at 16:03 UTC