What is the progress widget?

This widget shows a chart with the progress done over time since the start of the migration. Each PR that contributes (positively or negatively) to the migration is shown on the chart. By clicking on the dots on the chart, you will be able to see the details of each individual PR.

What is the completion rate widget?

This widget shows the current progress of the migration as well as the number of files that have been migrated and the ones that still need to be migrated. The progress is calculated as (number of files completed) / (number of files completed + number of files remaining)

What is in the PRs widget?

The PRs widget shows a list of all the PRs that have contributed to the migration as well as the percentage contribution of each PR.

What is the Contributors widget?

This widget shows a list of contributors to the migration. Everyone who has submitted and merged a PR that contributes to the migration is shown in the list. The person with the highest contribution is shown on the top of the list.