Learn more about these different git repos.
Other Git URLs
43d115f
frontend, backend: send `uses_devel_repo' as a part of task info Fix #1052