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: Oct 13 2024 at 01:02 UTC