This is our primary announcement medium, though? I don’t assume everyone is here but there is no better single place to reach people who are invested in PureScript’s ongoing development, aside from the GitHub repo itself.
So hey, I know it’s crummy when maintainers leave your PRs alone for a while; I’ve been on the other side of that interaction quite a lot. But, uh, ‘never gets merged’? You’ve tried once, in something you specifically called a POC, saying that you were just putting it out there in the hope that someone else would take it over. FredTheDino has tried twice and succeeded once—the second attempt he abandoned and we took over and is the topic of this thread. I don’t know who Pwnxl is; that handle doesn’t exist on GitHub, so maybe they’ve submitted some PRs under a different name. But ‘PRs never get merged’ is perhaps overstating the case a bit?
Come correct with your PRs and we’ll get to them, though the occasional reminder might be necessary; we’re all human.
Come at us anytime. Do the work, meet code quality standards, address feedback, don’t fall off the face of the earth for long enough that your PRs bitrot, and you’ll get your merges.