I have a PR on Github which is approved and integrated too. I can see the commit as well in the code base. The current status is closed, but the issue doesn't get resolved automatically as per the process. Though we can manually resolve it by changing the status on JBS but ideally we should not do that. Can someone please help me with this?

The PR link is https://github.com/openjdk/jmc/pull/384