From 105797d2b800c1bde1e0e614d258be7fb2e0f444 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 27 Oct 2017 11:40:42 +0200
Subject: Mention the migration from Bugzilla to GitHub issues in
 dev/doc/changes.

---
 dev/doc/changes.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'dev/doc')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index 8a2a2fffc6..82fd41199e 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -1,5 +1,17 @@
 ## Changes between Coq 8.7 and Coq 8.8
 
+### Bug tracker
+
+As of 18/10/2017, Coq uses [GitHub issues](https://github.com/coq/coq/issues)
+as bug tracker.
+Old bug reports were migrated from Bugzilla to GitHub issues using
+[this migration script](https://gist.github.com/Zimmi48/d923e52f64fe17c72852d9c148bfcdc6#file-bugzilla2github)
+as detailed in [this blog post](https://www.theozimmermann.net/2017/10/bugzilla-to-github/).
+
+All the bugs with a number below 1154 had to be renumbered, you can find
+a correspondence table [here](/dev/bugzilla2github_stripped.csv).
+All the other bugs kept their number.
+
 ### Plugin API
 
 Coq 8.8 offers a new module overlay containing a proposed plugin API
-- 
cgit v1.2.3