Learn more about these different git repos.
Other Git URLs
6fa973f
frontend: drop temporary directory upon source failure Fixes: #1422