Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Sep 24, 2024

I scoped the permissions only to the job that requires them.

@RalfJung
Copy link
Member

RalfJung commented Sep 24, 2024 via email

@Kobzol
Copy link
Member Author

Kobzol commented Sep 24, 2024

Done. But I would suggest waiting before merging this, until we confirm that contents: write fixes the issue, to avoid introducing another potential source of issues :)

@Kobzol Kobzol changed the title Add CI permissions to push to the repository Scope CI permissions to the job that needs it Sep 24, 2024
@RalfJung
Copy link
Member

This seems strictly better than what we have in-tree currently, so I think we should just land it and see what happens tomorrow morning.

@bors r+

@bors
Copy link
Contributor

bors commented Sep 24, 2024

📌 Commit a164b85 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 24, 2024

⌛ Testing commit a164b85 with merge 00bafbe...

@bors
Copy link
Contributor

bors commented Sep 24, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 00bafbe to master...

@bors bors merged commit 00bafbe into rust-lang:master Sep 24, 2024
@Kobzol Kobzol deleted the ci-permissions branch September 24, 2024 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants