Git/GitHub

A reviewed version of this page, approved on 13 October 2018, was based off this revision.

GitHub is a Git repository providing two formulae:

Functionalities

Each repo can have its own wiki and issues tracking. The documentation is in markdown, and can be written directly on line.

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());

It's possible to validate every pull request with webhooks for the continuous integration, like Jenkins^[1].