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>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 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.