Stream: Coq devs & plugin devs

Topic: Bugzilla archive


view this post on Zulip Matthieu Sozeau (Nov 19 2020 at 09:45):

Out of curiosity, did we keep a copy of the bugzilla database somewhere?

view this post on Zulip Enrico Tassi (Nov 19 2020 at 09:54):

Wasn't it fully imported into github?

view this post on Zulip Enrico Tassi (Nov 19 2020 at 09:54):

Or you really want to run bugzilla?

view this post on Zulip Matthieu Sozeau (Nov 19 2020 at 10:05):

I'd like to search the database but github's search is not ideal

view this post on Zulip Enrico Tassi (Nov 19 2020 at 10:08):

Well, I guess @Théo Zimmermann knows better

view this post on Zulip Théo Zimmermann (Nov 19 2020 at 11:23):

Here you can find the XML dump from the time of the migration (migration/ folder) but also Python notebooks with code allowing to retrieve all issues with the fields you need from the GitHub GraphQL API (takes a reasonable amount of time, less than one hour I think): https://github.com/Zimmi48/impact-of-switching-bug-trackers

view this post on Zulip Matthieu Sozeau (Nov 19 2020 at 15:44):

Aha, interesting!


Last updated: Apr 18 2024 at 07:02 UTC