I have a PR on Github which is approved and integrated too. I can see the commit as well in the code base. But it wasn't closed and resolved automatically as per the process. Though there is a button to close it manually but ideally we should not do that. Can someone please help me with this?

The PR link here : https://github.com/openjdk/jmc/pull/346