Learn more about these different git repos.
Other Git URLs
d7be468
frontend: un-pin projects when deleting them Fix #895