They are currently not reviewing or merging PRs, closing them to only later reopen or whatever is probably even more overhead. I think if it is made clear "don

They are currently not reviewing or merging PRs, closing them to only later reopen or whatever is probably even more overhead. I think if it is made clear "don't hold your breath" and someone decides to contribute anyway, well, it's only fair to wait.