Bugzilla Issue migration to github (phobos)

[Tim]

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