Weren't Iranian devs banned from github last year[0]?

That aside, I dont see any first hand source for the repo owner being Iranian, only speculation in the comments. The situation is sad, but a reasonable response to a PR that has legal issues. I don't think there's much intelligent discussion that can be had about this.

[0]: https://techcrunch.com/2019/07/29/github-ban-sanctioned-coun...

EDIT: github doesn't show profile location on mobile. My bad.