FWIW I think there may still be some room for resolved vs closed if you were say to make resolved mean released and then closed is once the issue has been released for a period of time and "burnt in". So one you might still be keeping an eye out for vs the other is long gone and can be "forgotten about".
Richard. On Tue, 15 Aug 2017, 3:07 AM Jesse Glick, <[email protected]> wrote: > +1, I have seen people get confused when an issue is moved to > Resolved/Fixed after a PR is merged yet the fix is not available on > the update center. IIUC this proposal would allow us to have an > intermediate state between In Review and Resolved/Fixed. > > (BTW I am not sure what the Closed resolution is for.) > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr3BF8cn17%2Bs_5dAHzfK_%3DewW7B%3D0vSGGSiWfE_fBpGwew%40mail.gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMui944iwxcaboGTRQ3j3JQH49_OLE7HdrOknudxpakXoFEOng%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
