-
This is a website for information on Git development. If you stumbled into this by mistake, you may want:
-
These pages are intended to collect information useful to Git developers. This is also the web home of:
-
These pages are intended to be edited collaboratively (i.e., it is an alternative to us having a wiki, but one that is edited entirely via Git pushes).