User Tools

Site Tools


github

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
github [2020/10/25 13:32] – ↷ Page moved from tool:software:github to github 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.1603593163.txt.gz · Last modified: 2020/10/25 13:32 by rjt