Closed github-actions[bot] closed 3 years ago
@ciaranmcnulty there is a drawback with the way the PR is created: CI does not run.
I think we need to use a custom token to create the PR instead of using the github-actions one. see https://github.com/peter-evans/create-pull-request/blob/master/docs/concepts-guidelines.md#triggering-further-workflow-runs
@stof indeed, I'll look at that. For now, closing and re-opening will trigger CI
Automated changes by create-pull-request GitHub action