Search results for: Search

An illustration of two octocats repairing a robot.

Search by @me

You can now create and share search queries that resolve to the current user by using the @me search syntax. For example, navigating to https://github.com/search?q=is%3Aissue+state%3Aopen+assignee%3A%40me (when logged into GitHub) will return all…

An illustration of two octocats repairing a robot.

Exclude labels from search

Excluding labels is now easier by using the alt keyboard modifier (or ⌥ on macOS) in an issue or pull request list filter to choose which labels you want to omit from…

An illustration of two octocats repairing a robot.

Responsive search pages

All search pages are now responsive on mobile devices. This means you can search across code, topics, Marketplace, and wikis when navigating GitHub.com on any of your devices.

An illustration of two octocats repairing a robot.

Search and Jump to

The search bar at the top of each page has been redesigned to help users quickly navigate to team pages, repositories, and projects that were recently visited. If you click…

Search commit messages

You can now search for commits from either the main search page or within a repository. Quickly discover who removed set -e or find commits that involved refactoring. Check out…

Wiki search

Search wiki pages

You can now search for wiki pages from either the main search page, or within a repository. Quickly discover how to use the exec command of your Redis client, or…

An illustration of two octocats repairing a robot.

Mobile Search

Whether you’re reviewing project issues from your phone while traveling for business, or trying to find a specific Node.js repository to show a friend at lunch, we want the GitHub.com…

The world's largest developer platform

Docs

Docs

Everything you need to master GitHub, all in one place.

GitHub

GitHub

Build what’s next on GitHub, the place for anyone from anywhere to build anything.

Customer stories

Customer stories

Meet the companies and engineering teams that build with GitHub.

The GitHub Podcast

The GitHub Podcast

Catch up on the GitHub podcast, a show dedicated to the topics, trends, stories and culture in and around the open source developer community on GitHub.