Migration of our Gitlab instance



This is just to let you know that I’ll be migrating our Gitlab server from https://code.eliotberriot.com to https://dev.funkwhale.audio (on Monday).

We’re reaching a point where hosting Funkwhale projects on my personnal Gitlab instance is not realistic. Moving it to a dedicated server will also enable giving access to other people, giving me peace of mind if I ever need to stop contributing for any reason.

If you’re interested in the technical aspects of the migration, I’ve opened a dedicated ticket: https://code.eliotberriot.com/funkwhale/governance/issues/6 :slight_smile:

Migration is over, you can now safely use https://dev.funkwhale.audio. Please report any issue that may have been caused by the migration here. You can also delete your account from https://code.eliotberriot.com

Manual steps required if you had some Funkwhale repositories cloned from code.eliotberriot.com

If you had some Git repositories cloned on your computer, you will need to update your repo config, otherwise you’ll end up interacting with the old Gitlab instance instead of the new one.

It’s really simple:

  1. Open your repo .git/config file
  2. Replace any occurence of code.eliotberriot.com by dev.funkwhale.audio, and remove any port pointing to 2222, if any

Concrete exemple:

[remote "origin"]
  url = ssh://[email protected]:2222/funkwhale/contribute.git

Should become:

[remote "origin"]
  url = ssh://[email protected]/funkwhale/contribute.git

My daily worklog
My daily worklog

I’m starting the migration now.


Backup done on code.eliotberriot.com, starting backup transfer to the new server.


Backup transfer complete (around 5GB), restoring…


Restore done, checking that everything went well…


Things seem to work properly, redirection set, restarded code.eliotberriot.com


Signup disabled and status message added about the migration on code.eliotberriot.com


Updated oauth login URL in weblate


Ensured Github login works properly on dev.funkwhale.audio


Reconfiguring CI runners…


I’m currently working on pointing gitlab pages to the new server, which requires more configuration than expected


Gitlab pages (join.funkwhale.audio, contribute guides, documentation) should be back up!


I’m still configuring emails


Email configuration ok, I’m starting working on backups now


Backups done, it’s time to hunt refs to the old urls :wink:


Updated weblate repositories urls


Updated old references on https://funkwhale.audio, https://contribute.funkwhale.audio, https://dev.funkwhale.audio/funkwhale/funkwhale, Matrix / Riot


I consider the migration to be complete and over. It went pretty well overall, the biggest issue was when migrating the gitlab pages, since the old setup was really different from the new one.

We know have a dedicated Gitlab instance, with plenty of resources and storage, so we can grow at our pace. We also have daily backups (persisted to another server) :tada:

I expect we’ll still find references to the old instance from time to time, but since we have a redirect in place anyway, we can update those when we found them.

You can now safely start using https://dev.funkwhale.audio!!

closed #19

This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.