If you have a JIRA assigned to you and it's in "Pull Request Sent" status in JIRA[1] but you know the PR has been merged and the issue can be resolved, can you resolve the JIRA, please?

I normally make an effort to do this when I merge PRs, as do the other mergers, but it's been slipping a bit lately. So if folks can take care of their own that will clean JIRA up a bit. [1] https://issues.jboss.org/issues/?jql=project%20%3D%20WFLY%20AND%20status%...

Yeah, we do make it a point to add a comment which says "Merged" whenever the PR gets merged. It might have been an oversight that certain PRs didn't receive such comments.But yes, we will continue to follow this process of adding a comment. -Jaikiran On Thursday 29 August 2013 02:21 PM, Darran Lofthouse wrote: > On 28/08/13 20:47, Brian Stansberry wrote: >> If you have a JIRA assigned to you and it's in "Pull Request Sent" >> status in JIRA[1] but you know the PR has been merged and the issue can >> be resolved, can you resolve the JIRA, please? > Can we make sure that when pull requests are merged there is also always > a closing comment added to say it is closed? > > I think it is happening now but in the past sometimes PRs were merged > and closed without comment and then there was no notification received > to remind you to close Jira / clean up branches used for the PR. > >> I normally make an effort to do this when I merge PRs, as do the other >> mergers, but it's been slipping a bit lately. So if folks can take care >> of their own that will clean JIRA up a bit. >> >> [1] >> https://issues.jboss.org/issues/?jql=project%20%3D%20WFLY%20AND%20status%... >> > _______________________________________________ > wildfly-dev mailing list > wildfly-dev(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/wildfly-dev _______________________________________________ wildfly-dev mailing list wildfly-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/wildfly-dev