feat: explicit overriding of url

[teto]

my PR at lumen-oss/nurr#33 fails because the generated URL is
local repo_url = 'https://github.com/https://git.sr.ht/~whynothugo/lsp_lines.nvim'.
It's apparently already possible to override the default url via GIT_SERVER_URL_OVERRIDE but making it an explicit input is easier to discover ?

[mrcjkb]

Afaik the only use case where we would want to override the URL is in NURR, which is why it's not an explicit input. I'd prefer to avoid having too many inputs.

Ideally, we should port this workflow to other platforms (GitLab, sr.ht, ...).

[teto]

Afaik the only use case where we would want to override the URL is in NURR, which is why it's not an explicit input. I'd prefer to avoid having too many inputs.

I can use GIT_SERVER_URL_OVERRIDE instead.

Ideally, we should port this workflow to other platforms (GitLab, sr.ht, ...).

I find it easier if it's centralized ? it should be more work to have a nurr per-platform.

[mrcjkb]

I find it easier if it's centralized ? it should be more work to have a nurr per-platform.

That's not what I meant. I meant that we should port this workflow to other platforms, so that repos that are hosted on gitlab, etc. can auto-push to luarocks.