With #2630 we should create PRs when a new repository is added manually to one of the rust-lang organizations.
However, this PR uses the GitHub app of the dry run to open the PR. That github app lacks permissions to open PRs.
Should we create a new GitHub App with write permission on pull request and contents?
With #2630 we should create PRs when a new repository is added manually to one of the rust-lang organizations.
However, this PR uses the GitHub app of the dry run to open the PR. That github app lacks permissions to open PRs.
Should we create a new GitHub App with write permission on pull request and contents?