Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Oct 7, 2025

This change shows the repository owner ID next to the repository name in the trusted publisher list. This helps users debug configuration issues when GitHub accounts are recreated with the same name.

The owner ID appears in muted text with a tooltip explaining its purpose and when the configuration may need to be recreated:

Bildschirmfoto 2025-10-07 um 14 57 15

@Turbo87 Turbo87 added the C-enhancement ✨ Category: Adding new behavior or a change to the way an existing feature works label Oct 7, 2025
This change shows the repository owner ID next to the repository name in the trusted publisher list. This helps users debug configuration issues when GitHub accounts are recreated with the same name.

The owner ID appears in muted text with a tooltip explaining its purpose and when the configuration may need to be recreated.
@Turbo87 Turbo87 force-pushed the show-github-owner-id branch from d33e98e to 56ec2ff Compare October 7, 2025 13:03
@Turbo87 Turbo87 merged commit 95215f8 into rust-lang:main Oct 8, 2025
11 checks passed
@Turbo87 Turbo87 deleted the show-github-owner-id branch October 8, 2025 07:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-frontend 🐹 C-enhancement ✨ Category: Adding new behavior or a change to the way an existing feature works

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants