Just a nice tidiness thing would be if the actions bot can also remove these after a merge or close if they were still present on a PR.