Import stars and follows from GitHub too
Importing stars from GitHub.
GH users have starred lots of repos. When migrating, these stars and follows are lost. Stars and follows are public info, when migrating a user you can fetch all user's stars and follows and find among GitLab repos and users the ones migrated from those GitHub repos and add them a star/follow from the user. And for a repo being migrated you can fetch all the starers and followers, find their corresponding GitLab accounts and add stars/follows there. Of course this behavior should be opt-in.