Learn more about these different git repos.
Other Git URLs
6429c76
frontend: don't use dist_git_instance.id This is leftover after the change in PR from string to numeric id. Relates: #1238