This repository has been archived by the owner on Dec 16, 2024. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It seems that GitHub has now defaulted to `rulesets` ![image](https://github.com/UCL-MIRSG/admin/assets/15052188/f9061b36-b7c1-43c0-962c-ee718c530075) The app https://github.com/github/safe-settings has been updated to include rulesets. This PR adds to rulesets: - `Default`: prevents force push & deletion on `main` - `Pull Requests`: standard PR things (that @renovatebot can bypass when automerging) Usually I manually create these two, and create a separate status checks one. But we can't do that here, as that would require all repos to have the same named status checks that they won't in general have.
- Loading branch information