#1742 Move to Codeberg.org

Open
opened 5 months ago by ashimokawa · 1 comments

We will try a full migration to codeberg.org on 10th December 2019 in three days.

Technically GitHub has been a mirror for quite some while for wiki and repository, but the main interaction happened still here since Issues and PRs were hard to migrate (lock-in effect)

So What will happen on 2019-12-10

  • GitHub repo will be archived to prevent creation of new issues/PRs
  • We will try a full migration to a private repo on codeberg and see if everything worked
  • On success we will make the new codeberg repo public and announce the move in README.md, on failure we will unarchive the GitHub and try some weeks later.
We will try a full migration to codeberg.org on 10th December 2019 in three days. Technically GitHub has been a mirror for quite some while for wiki and repository, but the main interaction happened still here since Issues and PRs were hard to migrate (lock-in effect) So What will happen on 2019-12-10 - GitHub repo will be archived to prevent creation of new issues/PRs - We will try a full migration to a private repo on codeberg and see if everything worked - On success we will make the new codeberg repo public and announce the move in README.md, on failure we will unarchive the GitHub and try some weeks later.
ashimokawa commented 5 months ago
Owner

Hello from the other side

Hello from the other side
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Due Date

No due date set.

Dependencies

This issue currently doesn't have any dependencies.

Loading…
Cancel
Save
There is no content yet.