Learn more about these different git repos.
Other Git URLs
a8c131e
[dist-git] fix `cgit_pkg_list` script Fixes: #397