GitLab to GitHub Migration

We recently moved from GitLab to GitHub. Here is our PHP migration script, which helped us move 300+ repos, 10000+ issues/PR and 100,000+ comments efficiently.