Re: Bugzilla Issue migration to github (phobos)

[Tim via Digitalmars-d-announce]

On Sunday, 1 December 2024 at 19:26:25 UTC, Robert Schadek wrote:
Earlier today I migrated the phobos' bugzilla issues from 
bugzilla to github https://github.com/dlang/phobos/issues

Next I'll move druntime and dmd (this year).

Sorry to taking so long.

Some issues seem to be closed on bugzilla, but are still open on 
GitHub. Here is one example:
https://issues.dlang.org/show_bug.cgi?id=24288
https://github.com/dlang/phobos/issues/10539

The last comment on bugzilla is also missing on GitHub.

This query shows all resolved issues, which were also moved to 
GitHub:
https://issues.dlang.org/buglist.cgi?order=Bug%20Number&query_format=advanced&bug_status=RESOLVED&bug_status=VERIFIED&bug_status=CLOSED&longdesc=THIS%20ISSUE%20HAS%20BEEN%20MOVED%20TO%20GITHUB&longdesc_type=substring