This is needed because the regular GITHUB_TOKEN does allow repo write, but it doesn't trigger any new actions.