Hi,
I had a project linked to github repo

I moved the project into gitlab, updated repository type in my package, and...

$ dub build -v
Using dub registry url 'https://code.dlang.org/'
Refreshing local packages (refresh existing: true)...
....


Fetching dinodave 1.0.0 (getting selected version)...
Downloading from 'https://code.dlang.org/packages/dinodave/1.0.0.zip'
HTTP request returned status code 500 (Internal Server Error)

if I restore repository type to github everything works.

My dub version:

$ dub --version
DUB version 1.12.0, built on Nov  4 2018

Thank you very much