User Tools

Site Tools


github

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
tool:software:github [2019/06/23 16:00] – created - info on finding comments rjtgithub [2020/10/31 09:34] (current) – tags, intro rjt
Line 1: Line 1:
 ====== 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 [[federation|federating]] things like issue trackers is useable.
  
 ===== Searching ===== ===== Searching =====
Line 5: Line 7:
   * To search in a specific repository use: ''[repo] 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''   * If you want to search in pull requests (etc?) you can drop the ''is:issue''
 +
 +{{tag>git guide website}}
github.txt · Last modified: 2020/10/31 09:34 by rjt