digitalmars.D - Policy for closing fixed bugs
- David Nadlinger (6/6) Jun 17 2011 Do we have some generally agreed guidelines on when to close Bugzilla
- Andrei Alexandrescu (3/9) Jun 17 2011 Just close when the pull request has been accepted.
- David Nadlinger (4/6) Jun 17 2011 Sean, you might want to chime in on this then:
Do we have some generally agreed guidelines on when to close Bugzilla issues that have been fixed – directly after the commit went to Git master, or after the next released version? I'm asking because currently, both approaches seem to be used, and I'm wondering how I should handle my own bugs/patches. David
Jun 17 2011
On 6/17/11 1:27 PM, David Nadlinger wrote:Do we have some generally agreed guidelines on when to close Bugzilla issues that have been fixed – directly after the commit went to Git master, or after the next released version? I'm asking because currently, both approaches seem to be used, and I'm wondering how I should handle my own bugs/patches. DavidJust close when the pull request has been accepted. Andrei
Jun 17 2011
On 6/17/11 9:11 PM, Andrei Alexandrescu wrote:Just close when the pull request has been accepted. AndreiSean, you might want to chime in on this then: http://d.puremagic.com/issues/show_bug.cgi?id=6135 David
Jun 17 2011