Learn more about these different git repos.
Other Git URLs
a7c819d
Replace the old icon by the new in the doc and as favicon