Permalink
ReplyFor example, I originally filed DMD#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?
| Thread overview | |||||
|---|---|---|---|---|---|
|
July 24 How can one close issues fransferred from Bugzilla | ||||
|---|---|---|---|---|
| ||||
 | ||||
July 24 Re: How can one close issues fransferred from Bugzilla | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Quirin Schroll | 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.)
| |||
July 24 Re: How can one close issues fransferred from Bugzilla | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Quirin Schroll | On Thursday, 24 July 2025 at 18:31:58 UTC, Quirin Schroll wrote: >For example, I originally filed DMD#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 | |||
Copyright © 1999-2021 by the D Language Foundation