Steps:
- Enroll a PAT for colebot.
- Add that as a secret here.
- Use that PAT to push instead of the default GITHUB_TOKEN auth.
This should make the push happen as colebot.
The rule can be given a bypass allowance for Maintainer role, which colebot has.
This will make sure PRs are green, while allowing colebot to manually push update commits.
Steps:
This should make the push happen as
colebot.The rule can be given a bypass allowance for
Maintainerrole, whichcolebothas.This will make sure PRs are green, while allowing
colebotto manually push update commits.