Learn more about these different git repos.
Other Git URLs
0e51c67
Adapt to filelist not including "./".