It's better than wasting peoples' time, but it's still a really shit workaround.
The PR can be pulled from any git client and could easily be imported into their preferred repo. This could be automated.
If they've already got a bot that automatically comments and closes PRs, they've already done the hard parts, but they chose to be hostile and unhelpful instead of doing it properly.
(Or, nobody thought of doing what I just suggested.)
Generalistic and moderated instance. All opinions are welcome, but hate speeches are prohibited. Users who don't respect rules will be silenced or suspended, depending on the violation severity.