Learn more about these different git repos.
Other Git URLs
8e2ab47
[frontend] correctly set repo and ref to point to our dist-git