What should I do with a Github repo after migrating it to another service? Keep the Github repo as an updated mirror? "Archive" the Github repo? Upload an empty repo with a README? Or just set a link to the new repo in the description?
@ayo 2 and 4 imo. mirrors are just extra work and unless it's crazy popular no one will care it's moved
@ayo This is a great question. What about a sunset plan for a period of time, like a year?
If the repo is being used to supply some other build proces (PyPI, Docker, etc.), then it does make sense to keep it around during the transition.
You can visually say "This software is now available at ____" and encourage people to move.
If it's a small project that doesn't have many users, indexers like Google are working against the move so just bite the bullet.
Just MHO FWIW.
@ayo keep it as a mirror. Many people still prefer GitHub for their work.
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !