GitHub Issues Migration: status update

The migration from to GitHub Issues is scheduled to start on Friday 25th April 8th in the evening (UTC).

Throughout the migration it will not be possible to report new issues or comment on existing ones. Once all the issues have been migrated from bpo to GitHub, you will be able to comment using GitHub Issues. bpo will remain available in read-only mode.

For more detailed information, you can consult the migration and risk management plans.

I will use this post to provide real-time updates on the migration (all times are UTC):

  • 2022-03-24 19:00: Migrations on GitHub are suspended on Fri 25, 12:00 - 16:30 UTC :upside_down_face:
    • This should not affect the migration unless it’s extended in the evening.
  • 2022-03-25 10:00: The Engineering team at GitHub suggested to postpone the migration due to the ongoing issues.
    • We are now aiming for next Friday, April 1st
  • 2022-03-31 06:00: The Engineering team at GitHub asked for another week.
    • We are now aiming for Friday, April 8th
  • 2022-04-08 17:15: The migration will begin in about 1 hour
  • 2022-04-08 18:15: bpo is now read-only; bpo export started
  • 2022-04-08 18:50: export done; ECI import started
    • This is expected to take about 12 hours
  • 2022-04-09 04:30: import currently still at 35%
  • 2022-04-09 08:40: import reached 50%
    • We expect 5+ hours to import remaining issue comments
    • Issue events will follow (should be faster)
  • 2022-04-09 13:45: import reached 66%
    • Issue events are now being imported
    • ETA in ~2 more hours, transfer will follow
    • The extra time required for the import is apparently
      due to a recently added ECI feature
  • 2022-04-09 18:00: everything imported, running post-processing
  • 2022-04-09 20:15: post-processing completed
    • During the import some events got duplicated
    • GitHub will investigate the issue next week
    • We will proceed with the transfer anyway
  • 2022-04-09 20:45: issue transfer started
    • ETA in ~24h
  • 2022-04-10 06:00: 50% of the issues have been transferred
  • 2022-04-10 15:40: all issues have been transferred
    • We will now perform some post-processing and checks
  • 2022-04-10 16:05: issue mapping started on bpo
    • We ran into problems during the mapping
    • You might have received some emails if you were
      subscribed to old issues – you can ignore/delete them
    • We are currently looking into the problem
    • Issue mapping is not a showstopper and has been postponed
  • 2022-04-10 19:30: The migration is officially completed :partying_face:

  • 2022-04-11 15:00: issue mapping now completed on bpo
    • This was postponed due to some problems

And it looks like the migration has completed! Congrats!

1 Like

A quick smoke test suggests this LGTM. Thanks for all the effort. Looking at the first issue on the BPO list (821862) I didn’t see an obvious link to the corresponding issue on GitHub. I did see this:

2022-04-10 11:11:41 admin set github: 39394

though there is no link. Over on Github I saw that if I searched for the BPO issue number it took me to the matching GitHub issue. That’s good, but I wonder if the above “github: 39394” reference could have been made “hot.” (I’m sure you’ve all considered this, but I saw no mention of it in Ezio’s announcement.)

Also, is there no overlap between issue numbers on the two systems?

See the “Redirects and links from bpo to GitHub” section under “known issues”, particularly the last subpoint:

Plenty :slight_smile: . Mostly between old issues and PRs. AFAIK all migrated issues would have wound up with a new GH- number. More details can be found here.

1 Like

This was part of the “2022-04-10 16:05 : issue mapping started on bpo” update. I started adding GitHub IDs to bpo issues, but I had to interrupt the mapping due to some problems. I’m looking into the issue and will make another attempt soon (probably tomorrow). Once all the bpo issues have been updated with the IDs of the corresponding GitHub issues, I will update the bug tracker to include links to them.

The tool we used to transfer the issues doesn’t preserve the original issue number, and simply uses the next available ID. Since both PRs and issues on GitHub share the same namespace (numberspace?), preserving the issue number would have been impossible anyway, since there are already several PRs that have the same ID of existing bpo issues.

1 Like

This is now fixed.
Every issue on bpo now has a banner at the top that redirects to the corresponding GitHub issue. A column that includes a clickable GitHub id has been added to the lists of issues too.