User Tools

Site Tools



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.


  • 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/30 18:34 by rjt