Hi all! We have some good and some bad (but not too bad) news on this topic.
The good news are: We migrated all issues. No more pending state. Additionally, all duplicates got deleted. The downside: The PRs had matching titles and were in the same list and API endpoint. GitHub support is looking into restoring them. While no commits were lost (obviously) nor rewritten, the comments on the PR are sadly not visible anymore. Thus the linking from issue to PR failed. We took our notes and I want to make the following proposal: * Let's wait on support whether they can restore the PRs. If not, that is sad, but in the case of JLINK not a catastrophe. We chose JLINK as the first candidate for a reason. * We already extended the plugin to allow the linking step in another run, so if they succeed we can still link issues and PRs. * Although the "pending state" of the created issues was a one-time problem, we modified the migration tool accordingly. * Since the "pending state" was probably a one-time problem and we have the problems fixed in code, I would recommend advancing to the next plugin and execute the migration tool on the next repo. * In any case, if more "pending issues" occur, pause the migration tool (CTRL-Z, or later re-run) and notify support. Sorry for (maybe) losing the PRs, this was unintentional and surprising to us as well. - Ben --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
