Lunny Xiao 69700f9cdd Fix possible bug when migrating issues/pull requests (#33487) ...

When migrating issues or pull requests from a big repository, some
issue/pull request maybe deleted when migrating. So that there will be
duplicated issues/pull requests because we are get information with
pagination. This PR introduced a map to record all migrated issue pull
request index when migrating to avoid the failure because of duplicated
records.

2025-12-07 23:09:10 -08:00

15 KiB

Raw Blame History

View Raw