hoaproject/Central

Configure mirror on Gitlab

vonglasow opened this issue · 7 comments

Create a mirror on gitlab

Add description and logo

Progressions

Hywan commented

👍

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

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

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

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.

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.

Hywan commented

Great work!