Git/GitHub
< Git
Jump to navigation
Jump to search
GitHub is a Git repository providing two formulae:
- Free public.
- Paying private.
Functionalities[edit | edit source]
Each repo can have its own wiki and issues tracking. The documentation is in markdown, and can be written directly on line.
Review[edit | edit source]
The online review provides diffs.
Suffixing the pull request URL with ?w=0 or ?w=1 removes indentations from diffs.
To expand all the minimized files from the diffs, just enter this JS code in the browser console:
document.querySelectorAll('.load-diff-button').forEach(node => node.click());
Webhooks[edit | edit source]
It's possible to validate every pull request with webhooks for the continuous integration, like Jenkins[1].