Skip to content
This repository has been archived by the owner on Dec 16, 2024. It is now read-only.

Switch from branch protection to rulesets #22

Merged
merged 1 commit into from
Jun 10, 2024
Merged

Switch from branch protection to rulesets #22

merged 1 commit into from
Jun 10, 2024

Conversation

paddyroddy
Copy link
Member

It seems that GitHub has now defaulted to rulesets
image

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.

@paddyroddy paddyroddy added the enhancement New feature or request label Jun 10, 2024
@paddyroddy paddyroddy requested a review from a team June 10, 2024 15:00
@paddyroddy paddyroddy self-assigned this Jun 10, 2024
@paddyroddy
Copy link
Member Author

I've checked in @astro-informatics and @UCL-ARC and they both have 2740 ID for @renovatebot, so it's must be global

@paddyroddy paddyroddy merged commit f9ffcb8 into main Jun 10, 2024
2 checks passed
@paddyroddy paddyroddy deleted the rulesets branch June 10, 2024 15:06
@paddyroddy
Copy link
Member Author

Not sure if this is actually working. Made a dummy repo and can see other settings are there, but no rulesets.

@paddyroddy
Copy link
Member Author

It did pass validation though https://github.com/UCL-MIRSG/admin/runs/26030069361

@paddyroddy
Copy link
Member Author

Possibly related? github/safe-settings#553 Although not documented

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants