On Thursday, 24 July 2025 at 18:31:58 UTC, Quirin Schroll wrote:
For example, I originally filed
[DMD#19271](https://github.com/dlang/dmd/issues/19271), but as
far as GitHub is concerned, I’m not the author of that issue so
I can’t close it.
What’s the process for that? I can comment on that issue, but
how would anyone know I did?
@ one of the maintainers such as Razvan or Nic Wilson.
Also, there was an attempt to map bugzilla usernames to GitHub
names, but I don’t know if this assigns ownership. But if your
names don’t match this may not have happened for your issues.
-Steve
