[PR #263] [MERGED] Add branch protection bot #291

Closed
opened 2025-11-06 17:17:52 -06:00 by GiteaMirror · 0 comments
Owner

📋 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: masterHead: patch-1


📝 Commits (2)

📊 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.

## 📋 Pull Request Information **Original PR:** https://github.com/sdras/awesome-actions/pull/263 **Author:** [@benjefferies](https://github.com/benjefferies) **Created:** 11/15/2019 **Status:** ✅ Merged **Merged:** 11/22/2019 **Merged by:** [@gep13](https://github.com/gep13) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (2) - [`8dbd28a`](https://github.com/sdras/awesome-actions/commit/8dbd28ad63c1ff7929b10c6fcf596d638db72b1c) Add branch protection bot - [`a31a7d5`](https://github.com/sdras/awesome-actions/commit/a31a7d50e11f68bdc3c10df73cf3f3fe3f92af37) Add full stop ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -0) </details> ### 📄 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. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-06 17:17:52 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/awesome-actions#291