[internet_points]

You'd think git repos were the easiest to migrate, just `git remote set-url ` and go. But people get locked in with Issues and CI I guess.