#1742 Move to Codeberg.org

Closed
opened 11 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 11 months ago
Owner

Hello from the other side

Hello from the other side
vanous closed this issue 3 weeks ago
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This issue currently doesn't have any dependencies.

Loading…
There is no content yet.