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%...
--
Brian Stansberry
Principal Software Engineer
JBoss by Red Hat