mirror of
https://github.com/sdras/awesome-actions.git
synced 2026-07-18 04:22:36 -05:00
[PR #263] [MERGED] Add branch protection bot #291
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/sdras/awesome-actions/pull/263
Author: @benjefferies
Created: 11/15/2019
Status: ✅ Merged
Merged: 11/22/2019
Merged by: @gep13
Base:
master← Head:patch-1📝 Commits (2)
8dbd28aAdd branch protection bota31a7d5Add full stop📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
README.md(+1 -0)📄 Description
A bot tool to temporarily disable and re-enable "Include administrators" option in branch protection
Github doesn't have a way to give a Bot access to override the branch protection, specifically if you include administrators. The only possible solution is to disable the include administrators option. This increases risk of accidental pushes to master from administrators (I've done it a few times). This tool doesn't completely solve the problem of accidents happening but reduces the chances by closing the window.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.