We are using GitHub pages with the website living in our repository (
docs/ folder). Whenever changes are pushed to the repository GitHub triggers a task that builds and deploys the website.
We noticed that this doesn't seem to work when using bors. No github pages task is triggered whenever bors commits/pushes. Other CI tasks get triggered just normally though. GitHub's help pages are not really clear but I assume this is the reason:
Pushes must come from a user account with a verified email address. You won't trigger a build if you use a deploy key to push to an organization's Pages repository.
Has anyone else run into this problem? Are there any known workarounds to make this work?