coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmi AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th)
- Date: Tue, 10 Oct 2017 11:48:46 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f42.google.com
- Ironport-phdr: 9a23:Qev9hhTEzLvArrQ1eiZpdjrsttpsv+yvbD5Q0YIujvd0So/mwa67bRaN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY6Uy/yPgttJ+nzBpWaz4Huj7jzqNXvZFBjgyP1SrdvJl3ipgLI88ISnIFKK6AryxKPrGEeKMpMwmY9GVISmCHO58K18YRm+iJW86Y998NHF7f7eqE5ZbNdBTUidWsy4Zu45lH4UQKT6y5EAS0tmR1SDl2AtUmiUw==
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
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
- [Coq-Club] Transitioning away from Bugzilla (on Oct 18th), Théo Zimmermann, 10/10/2017
- Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th), Théo Zimmermann, 10/17/2017
- Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th), Théo Zimmermann, 10/18/2017
- Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th), Théo Zimmermann, 10/17/2017
Archive powered by MHonArc 2.6.18.