Learn more about these different git repos.
Other Git URLs
No commits found
We don't have to guess distgit clone URL from distgit web URL anymore. There is a specific configuration for it.
My main motivation for this change is that it fixes modules building from web-UI in a docker-compose environment.
I am not sure, how did I create duplicate pull requests. Anyway, closing this one in favor of PR#1373.
Pull-Request has been closed by frostyx
We don't have to guess distgit clone URL from distgit web URL anymore.
There is a specific configuration for it.
My main motivation for this change is that it fixes modules building
from web-UI in a docker-compose environment.