GitLab refs to MRs in the form of !number should be converted to GitHub refs with a #
MRs in GitLab follow their own sequence.
PRs in GitHub are simply issues.
The problem is that issues are imported before MRs are.
One possible solution could be to compute the highest GitHub issue number which will result after importing all issues, and add that to the number in !number, before converting to #number during the issue import. This could be tricky for non-fresh imports (i.e. updates)
GitLab refs to MRs in the form of
!numbershould be converted to GitHub refs with a #One possible solution could be to compute the highest GitHub issue number which will result after importing all issues, and add that to the number in
!number, before converting to#numberduring the issue import. This could be tricky for non-fresh imports (i.e. updates)