GIT_SERVER : the URL of the server if not using the public hosted git providers:
So the default value of GIT_SERVER should be https://gitlab.com if they set gitlab as GIT_KIND.
But it looks that the default value of GIT_SERVER is always https://github.com.
It can be avoided by setting GIT_SERVER='https://gitlab.com' explicitly.
Referring to the description in README.md,
So the default value of
GIT_SERVER
should behttps://gitlab.com
if they setgitlab
asGIT_KIND
. But it looks that the default value ofGIT_SERVER
is alwayshttps://github.com
.It can be avoided by setting
GIT_SERVER='https://gitlab.com'
explicitly.