Full threadhans_castorp·I don't know if it migrates CI pipelines as well (which is apparently what prevents the OP from leaving github), but Codeberg has a migration tool to automate the switch from Github (and others) to Codeberg.https://docs.codeberg.org/advanced/migrating-repos/View on HN