Im sorry your pr got closed too.
Your pr is really good.
The bot message sounds ai generated.
The amount of posts closed sounds due to a tool.
So i bet this is due to a tool error.
Which is somewhat tragic. What will happen with all the good prs?
Github forced pushed very recently a few contentious things for prs.
So i dare to bet its related to that.