Learn more about these different git repos.
Other Git URLs
3425c76
Use our hardlinker instead of hardlink. Use quick-fedora-hardlink because hardlink was actually unreliable. About 10% of the time it would fail to hardlink the tree.