Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Request for cooler tab names on hud #5185

Open
angelayi opened this issue May 7, 2024 · 1 comment
Open

Request for cooler tab names on hud #5185

angelayi opened this issue May 7, 2024 · 1 comment
Assignees

Comments

@angelayi
Copy link

angelayi commented May 7, 2024

This is a super minor request, but for hud pages that show a specific PR's CI run, it would be cool we could rename the tab name to contain the PR title or the PR number, just so we could tell the difference between tabs.

For example, right now I see something like:
image

But it would be clearer if I could see something like:
image

Anyways, this is just a minor request -- maybe I'll look into it when I have time or unless Cat doesn't want to do it :>

cc @clee2000

@angelayi angelayi changed the title Request for cooler tab names for hud Request for cooler tab names on hud May 7, 2024
@clee2000 clee2000 self-assigned this May 7, 2024
@malfet
Copy link
Contributor

malfet commented May 21, 2024

Work in progress PR (need to figure out how to align Pages and Router together)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Prioritized
Development

No branches or pull requests

3 participants