digitalmars.D.learn - How can one close issues fransferred from Bugzilla
- Quirin Schroll (6/6) Jul 24 For example, I originally filed
- 0xEAB (4/5) Jul 24 Luckily, GitHub has notifications!
- Steven Schveighoffer (6/12) Jul 24 @ one of the maintainers such as Razvan or Nic Wilson.
For example, I originally filed 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?
Jul 24
On Thursday, 24 July 2025 at 18:31:58 UTC, Quirin Schroll wrote:I can comment on that issue, but how would anyone know I did?Luckily, GitHub has notifications! (Obviously that still requires people to have them enabled and actually check them out.)
Jul 24
On Thursday, 24 July 2025 at 18:31:58 UTC, Quirin Schroll wrote:For example, I originally filed 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
Jul 24