Ergonomics request: put Pull Request number before PR title in browser tab title #211520
Unanswered
jglovier
asked this question in
Pull Requests
Replies: 1 comment
|
💬 Your Product Feedback Has Been Submitted 🎉 Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users. Here's what you can expect moving forward ⏩
Where to look to see what's shipping 👀
What you can do in the meantime 💻
As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities. Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐ |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
🏷️ Discussion Type
Product Feedback
Body
Ahoy GitHub Product Team! With the rise of AI Agentic coding workflows the result for many developers is having tons of open PRs at once to juggle and manage. Google Chrome helps with tab groups and now vertical tabs to keep them docked on the sidebar, but I still find myself with lots of PRs (and some issues) in-flight that are often difficult to keep track of just by glancing at the tab because the tab lists the PR title at the start.
It's great to be able to see the build status at a glance. I'd love to be able to also see the PR number right after the favicon and before the title so it's easy to find or group Issues and PRs.
This is helpful because when working with agentic tooling like Grokbot and Cursor, often the machine is just referencing by PR# all the time anyway.
Thanks for your consideration!
All reactions