[zegerjan]

Also PRs will be imported, milestones, labels and more: https://docs.gitlab.com/ce/user/project/import/github.html#o...