A smarter, more complete-y search bar
We often like to think of text as a UI at GitHub. We use text to navigate our text editors, we use keyboard shortcuts to delete our email, and we…
We often like to think of text as a UI at GitHub. We use text to navigate our text editors, we use keyboard shortcuts to delete our email, and we use application launchers to navigate our computers.
The command bar was one of our latest attempts at text as UI on GitHub, but it didn’t quite feel right. So today we’re launching a new redesigned search bar. Go ahead and give it a try.
Suggestions for you
If you’re logged in, the search bar will give you suggestions for things you care about.
- Users you follow
- Repositories you’ve starred or contributed to
- Issues you’re watching across the site
Repository aware
If you’re already browsing a repository, we’ll tweak the suggestions to be repository aware. That means we’ll autocomplete issues, pull requests, and files for just that repository.
Fewer commands, more completes
In order to do this we’ve had to strip out some of the less used commands previously supported in the command bar. You will no longer be able to follow/unfollow watch/unwatch from the command bar. We also removed some of the link jumping commands found in the my
context and repository issues context.
Jump to anything with s
and /
If you want to jump to the search bar immediately, use the hotkeys s
or /
and we’ll autofocus the search field. We think it’s an awesome way to jump to anywhere you want in GitHub.
Hope you enjoy!
Written by
Related posts
GitHub Availability Report: November 2024
In November, we experienced one incident that resulted in degraded performance across GitHub services.
The top 10 gifts for the developer in your life
Whether you’re hunting for the perfect gift for your significant other, the colleague you drew in the office gift exchange, or maybe (just maybe) even for yourself, we’ve got you covered with our top 10 gifts that any developer would love.
Congratulations to the winners of the 2024 Gaady Awards
The Gaady Awards are like the Emmy Awards for the field of digital accessibility. And, just like the Emmys, the Gaadys are a reason to celebrate! On November 21, GitHub was honored to roll out the red carpet for the accessibility community at our San Francisco headquarters.