User Tools

Site Tools


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