I started moving kde-mac/kde tap repo from GitHub to KDE Invent (GitLab). And I wanted to ask: is there some good practice or prior research on how to do this flawlessly? I plan to discontinue GitHub mirror and force users to use new repo or just to untap it.
As for same hosting it’s pretty easy, i.e. you just rename or transfer repo to another group and hosting sets all needed redirects. But what about moving to completely different hosting? Is there some caveat I may present when users do
brew update or try to install some formula?
I recall recent mass movement from GitHub to GitLab and Bitbucket after Microsoft acquired GitHub, maybe other maintainers already tried to do something similar?