Usually I let the bot mark the issue as Resolved (with the [FIXED JENKINS-9999] commit log).
Then when the plug-in is released and I see it either in the update center or in the twitter bot, I change the issue status to Closed with the message "Fixed in 9.99 version". HTH, Bruno P. Kinoshita http://kinoshita.eti.br http://tupilabs.com >________________________________ > From: Mark Waite <markwa...@yahoo.com> >To: "jenkinsci-dev@googlegroups.com" <jenkinsci-dev@googlegroups.com> >Sent: Saturday, March 2, 2013 9:55 AM >Subject: When should I mark a JIRA issue as "Resolved"? > > >Is there a general policy or guideline related to when I should resolve an >issue which has been reported in JIRA? > > >It seems there is a robot that resolves issues when certain text is detected >in git commit messages. I think that indicates the general policy is to >resolve issues when the fix is submitted, not when the fix has been released >in an official build. > > >I just reopened an issue because the fix seems to require updates to two >different plugins. One of the plugins has been released with the fix, while >the other has not yet released a version which includes the fix. I compiled a >local copy of the unreleased plugin, installed it, and confirmed that the >issue is resolved with the unreleased version of the plugin. > > >Based on the robot behavior of resolving the issue when the change is >submitted, I think that means I should mark the issue as "resolved" since the >necessary changes are in the source code to fix the issue and users will >receive the fix with the next release of the plugin. Is that the expectation? > > >Thanks, >Mark Waite -- >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 jenkinsci-dev+unsubscr...@googlegroups.com. >For more options, visit https://groups.google.com/groups/opt_out. > > > > > -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
