Consider Cypress GitHub App

[cleverer]

Is there even a benefit? We're not recording the runs on PRs anyway. Or would it make sense to? But would probably require a paid Cypress plan…

https://docs.cypress.io/guides/dashboard/github-integration.html#Install-the-Cypress-GitHub-app

[cleverer]

This would probably make a lot more sense on the main repos, for hitobito-PRs…