[Koha-devel] Move of the git server

Jonathan Druart jonathan.druart at bugs.koha-community.org
Tue Nov 24 21:35:51 CET 2020


The move has been done!

You will have a problem from now to git fetch.
Please use this command to set "origin" to point to the new remote url:
  % git remote set-url origin
https://git.koha-community.org/Koha-community/Koha.git

I will try later to have a redirect

Le lun. 23 nov. 2020 à 23:51, Jonathan Druart
<jonathan.druart at bugs.koha-community.org> a écrit :
>
> It clashed with the maintenance releases so it's postponed to tomorrow!
>
> Le lun. 23 nov. 2020 à 15:04, Jonathan Druart
> <jonathan.druart at bugs.koha-community.org> a écrit :
> >
> > Hi,
> >
> > We are planning a move of the git server on Nov 23th at 20 UTC.
> > There will be a DNS switch and some quick tweaks that will be needed after it.
> >
> > Expect a bit of downtime during the intervention.
> >
> > Use the gitlab or github mirror if you really need to access/clone it.
> >
> > Cheers,
> > Jonathan


More information about the Koha-devel mailing list