github
Github
Popular website for hosting Git repositories. Becoming less-popular since being bought by Microsoft, and hopefully even less-so once a format for federating things like issue trackers is useable.
Searching
- To find comments you've made in issues you can use:
is:issue commenter:[username]
- To search in a specific repository use:
[repo] is:issue commenter:[username]
- If you want to search in pull requests (etc?) you can drop the
is:issue
github.txt · Last modified: 2020/10/31 09:34 by rjt