Skip to main content

Repository Migration

Instructions​

  1. In your local repository, check out a branch other than main.
  2. Delete your local main branch:
git branch -D main
  1. Add the new remote:
  • Rename the origin remote to old-origin:
git remote rename origin old-origin
  • Add the new remote:
git remote add origin https://github.com/parisikosto/tils.git

Open PRs​

If you no longer have your open PR branches locally (unlikely), you can still fetch them from the old origin with this command:

git fetch old-origin <BRANCH_NAME>:<BRANCH_NAME>

To open new PRs, push the branch as usual:

git push origin <BRANCH_NAME>