diff options
| author | bors <bors@rust-lang.org> | 2024-09-22 10:53:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-09-22 10:53:45 +0000 |
| commit | 8243a8ca93133db93d2083e670777d7cc9265061 (patch) | |
| tree | edb108668e5b790d1d43c1c772a08c4f1a7c9777 /compiler | |
| parent | ee20c8628224ceae61f5f3dac98a18ede8872571 (diff) | |
| parent | 2859f2bafcb2165b2dd4474295682128be56f026 (diff) | |
| download | rust-8243a8ca93133db93d2083e670777d7cc9265061.tar.gz rust-8243a8ca93133db93d2083e670777d7cc9265061.zip | |
Auto merge of #3903 - RalfJung:auto-prs, r=RalfJung
try to give the CI job permission to create PRs See the discussion [here](https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/did.20github.20token.20permissions.20change.3F). `@rust-lang/infra` just a heads-up that we are doing this -- I have no idea if this could cause any issues elsewhere, or if it is important that we limit the permissions here somehow, or so.
Diffstat (limited to 'compiler')
0 files changed, 0 insertions, 0 deletions