The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Thank you for your patience.

The migration is now over.

If you need to report a bug on 8.7.0, please do so at https://github.com/coq/coq/issues.

Contributors with write access are encouraged to help triaging issues by closing already fixed but forgotten issues, adding labels (such as "good first issue") and milestones, editing comments to add quotes around code blocks to improve their rendering, or even better, by self-assigning issues and fixing them.

Cheers,

The Coq Development Team

Le mar. 17 oct. 2017 à 13:19, Théo Zimmermann <theo.zimmi AT gmail.com> a écrit :

Dear Coq-Club,

The migration of Bugzilla bug reports to GitHub issues will take place tomorrow. Bugzilla and the GitHub repository will both become read-only for the duration of the migration (which should take a few hours). (The GitHub repository will be read-only for everyone but the Coq organization owners. They will still have the power to create issues / PRs but should refrain from doing it.)

Contrary to what was previously announced, you do not need to turn off GitHub e-mail notifications or ignore the GitHub repository because the migration script will rely on a beta API that GitHub specially conceived for importing issues and which has the enormous advantage of not sending any notification when a new issue is created.

A last e-mail will be sent to this list to announce when the migration is over.

Cheers,

The Coq Development Team

Le mar. 10 oct. 2017 à 13:48, Théo Zimmermann <theo.zimmi AT gmail.com> a écrit :

Dear Coq-Club,

We are going to transition the Coq bug tracker from Bugzilla to GitHub issues next week (after the 8.7.0 release). Existing bug reports will be migrated with the help of a script on Wednesday, Oct 18th. On this day, Bugzilla will become read-only but we will ask you to refrain from opening an issue on GitHub (or a pull request) until the migration is finished.

Accounts on Bugzilla have been matched to a GitHub account for the most part, which means that if you were in the cc list of a bug on Bugzilla, you will most likely be subscribed to it on GitHub. If you are the author of an *open* bug report and your Bugzilla account was not matched to any GitHub account, you will receive another e-mail from me asking you if you have a GitHub account.

**If you have opened many bugs on Bugzilla, you may want to turn off GitHub e-mail notifications** on the day of the migration to avoid unwanted flooding of your e-mail box (if you want to continue receiving e-mail notifications from other GitHub repositories during the migration, you can alternatively choose to "Ignore" the Coq repository during the day of the migration).

A reminder will be sent to this list the day before the migration.

Cheers,
The Coq Development Team