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: Feb 02 2023 at 15:04 UTC