coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th)

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Transitioning away from Bugzilla (on Oct 18th)
Date: Tue, 17 Oct 2017 11:19:36 +0000
Authentication-results: mail3-smtp-sop.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-ua0-f170.google.com
Ironport-phdr: 9a23:RLEbRxWXXDzEaanq9/NWWxVWs27V8LGtZVwlr6E/grcLSJyIuqrYZR2Ft8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aMlzFOAF0PuX4HJLJx4Tyjrjqus6bXwIdrz2kKZh2MR/++Q7Wr4wdhZZoAqc30BrA5HVSLbd432RtcG6THhHL1Ma1+ZN59i1Wvbp1685NVuPofqE9TJRXCT0nNyY+48i95kqLdheG+nZJCjZeqRFPGQWQqUiiBpo=

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

[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