You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
But it would be clearer if I could see something like:
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 :>
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:
But it would be clearer if I could see something like:
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
The text was updated successfully, but these errors were encountered: