Handling new issues raised to GitHub project

It's still possible to raise new issues to the old project on GitHub. Ideally, we should manage all issues on the projects here on GitLab.com

Manage migration of GitHub issues to GitLab project
Watch for new issues on GitHub
Mirror the new issue on GitLab.com CE project by creating a new issue there with the same content using some service account (jobbot)
Post a comment to the GitHub issue with a link to the newly created GitLab.com issue
Close the GitHub issue