As you know, we used Bugzilla in the past but this crashed and went offline some time ago (around August 2017 I think). John and I have been working on importing the Bugzilla bugs into GitHub. I imported all Bugzilla issues (open and closed tickets) yesterday.
I used a script originally developed by Andriy Berestovskyy, enhanced by Théo Zimmermann of the Coq project with some changes by me. All comments are preserved. All attachments are stored on John's server and linked too. Unfortunately, GitHub's API doesn't allow to set the bug submitter so all bugs and comments show up under my username (tbm). However, where I found a GitHub ID, the submitter is mentioned so you should receive notifications. Some bug numbers have changed. 570-1227 were imported as is, but 156-569 changed to 1228-1641. The Bugzilla number is stored in the title as BZ#nnn so you can search for "BZ#nnn in:title". Bugzilla used plaintext whereas GitHub uses Markdown so some off the formatting is issue. I fixed some manually but only some. If there's a *big* problem, email me offline and I can edit it. I think can live with minor formatting issues. We lost the description for some bugs in the crash (bugs 1173 and later) but John gave me an archive of the Bugzilla emails so I may be able to import that later. There are a lot of open bugs (I wonder if some were closed in Bugzilla and our Bugzilla database didn't capture this). So it would be good if people would help with bug triage. If you notice any problems, please let me know. -- Martin Michlmayr https://www.cyrius.com/ -- --- You received this message because you are subscribed to the Google Groups "Ledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to ledger-cli+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.