You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Historically we've used the tools-bot user's personal action token to perform this merge and added them to the "allow these users to bypass branch protection rules" list.
We're trying to move toward using secrets.GITHUB_TOKEN over the bot token; it's not clear how to bypass branch protection rules in this situation.
The text was updated successfully, but these errors were encountered:
Historically we've used the
tools-bot
user's personal action token to perform this merge and added them to the "allow these users to bypass branch protection rules" list.We're trying to move toward using secrets.GITHUB_TOKEN over the bot token; it's not clear how to bypass branch protection rules in this situation.
The text was updated successfully, but these errors were encountered: