https://docs.github.com/en/organizations/managing-organization-settings/setting-permissions-for-deleting-or-transferring-repositories
On Mon, 22 Jan 2024 at 18:57, Nils Bruin <nbr...@sfu.ca> wrote: > On Sunday 21 January 2024 at 04:25:42 UTC-8 Juan Grados wrote: > > To protect the repo from arbitrary deletion, I need to know if Github > allows adding a rule to avoid a repository being deleted by a single > person. > > If you encourage a workflow with forks and pull requests then everybody > will have their own copy anyway. Then the question is more: is there a way > to reinstate a repo after it is deleted? Then it will be recovering from an > admin mistake, just as any misjudged commit will be (if you have to worry > about your admins inadvertently deleting your repo then you'll have to > worry about wrong merges even more). And if you expect that your admins are > prone to making mistakes, people will probably be much happier living > mainly in their own repo and only interacting with the central one if they > have to (for pull requests). It of course does add a level of indirection > to staying up-to-date, but I think the sage github documentation has some > tips on minimizing the pain in that (and otherwise other projects will). > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/0663f1c7-fc7b-4252-8bb9-07b3f48de6fcn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-support/0663f1c7-fc7b-4252-8bb9-07b3f48de6fcn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAg%3Dp_39pG-9J5rheqs8EuMHimfY3HaFwodk-OML3LXyR2Qq%2BQ%40mail.gmail.com.
