Git/GitHub
< Git
Jump to navigation
Jump to search
GitHub is a Git repository providing two formulae:
- Free public.
- Paying private.
Functionalities[edit]
Each repo can have its own wiki and issues tracking. The documentation is in markdown, and can be written directly on line.
Review[edit]
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]
It's possible to validate every pull request with webhooks for the continuous integration, like Jenkins[1].