Set up OpenAPI workflow

[katexochen]

No description provided.

[m1ghtym0]

We've disabled pushing to main directly for the docs repo.
My suggestion would be to push to a separate branch and create a PR manually or add another GitHub action for opening the PR as a second step.
For the personal token, you can use the CI_GITHUB_REPOSITORY token.
Not sure if it has permission to push to the docs repo, but @thomasten probably knows?

[thomasten]

For the personal token, you can use the CI_GITHUB_REPOSITORY token.
Not sure if it has permission to push to the docs repo, but @thomasten probably knows?

I'd guess it has, just try

[m1ghtym0]

@katexochen Please review, can't add you as a reviewer because you're the author of the PR.