I just made the mistake of pushing a branch to coq's repo (now deleted), can't we disallow that?
Nope, still not possible, though I encourage everyone to complain to https://support.github.com/contact/feedback
can coqbot auto delete them?
Yes, it can. Should it?
Last updated: Dec 07 2023 at 07:39 UTC