Dear Tom,
I hope you are doing well. My name is Marius, and I am part of the team at Adeena.
I came across your project gitlab-migrator on GitHub, and I found it very interesting. I would like to use it to migrate all of our pull requests from GitLab to GitHub (the project itself has already been migrated).
Unfortunately, I ran into an issue: when a user in a pull request no longer exists, the tool skips the pull request entirely. From what I understand, the user is mainly relevant for the "Author" section. My question is: would it be possible to modify the tool or add an option so that it doesn't skip the pull request in this case, and perhaps just leaves the author field empty or uses a default value ?
Thank you for your time.
Best regard,