Configure mirror on Gitlab about central HOT 7 CLOSED

👍

from central.

Mirror should be from github, I remove all check box already created to redo with github source repositories

from central.

Hello,

I've checked the repo list on Gitlab, there are some issues to fix 😄.

Repo exists but in't mirrored

• W3
• Infrastructure
• Keynote
• Literature
• Marvirc

Repo mirror URL have basic auth details in it.

• Central
• Compiler

Missing repos

• Tree The Hoa\Tree library.
• static

from central.

Thanks for the check so for Tree the repository exist but with wrong url I have checked if I can rename it, currently It's https://gitlab.com/hoaproject/Tree0 Maybe a typo during the creation or another already existing repository hidden call Tree. Unfortunately, my first try fail I got a 500 error for renaming the repository I need more time to check it.

I have fixed repos with auth details (compiler and Central) for the other I let you configure it.

@shulard You are now master so you should be able to change the rest.

Thanks for your help

from central.

Maybe tree is a reserved keyword in URL... Since the mirror is live, I think it's not the most important here.

I've updated the repos with unactive mirrors and also created static. At the moment it mirror the git.hoa-project.net repository but I'll update the URL when the repo will be created on Github.

from central.

Static is operational and tree except for the url is ok I close this ticket as everything is done.

You can reopen it or add a new one if you think it's relevant.

from central.

Great work!

from central.