-
Ruben Davila authored
Some of our users are changing to GitLab as their main repository, it means that they're disabling the local mirror and setting up a remote mirror instead. This fix helps to avoid the extra steps required in order to achieve the desired configuration.
251989e1
To find the state of this project's repository at the time of any of these versions, check out
the tags.