Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with github
Search options not deleted
user 5004
Hosting service for software projects using the Git revision control system. For questions about using GitHub web interface such as: how to use its search, pushing your branch or repository, wiki page formatting and directories, and syntax highlighting on README files.
3
votes
Accepted
Monitor GitHub pull request without commenting
On the sidebar, under Notifications, you will be able to toggle your subscription to the thread.
You can also now manage notification settings at the individual issue or pull request level. This …
- 256
8
votes
1
answer
816
views
How do I change the email used when I edit a file on GitHub?
It seems to use what GitHub thinks is the primary email address (the one GitHub uses to send me email), but I can't figure out how to change that either. …
- 256