There was a pull request merged a month ago. Looking at the commit history it doesn't seem dead to me. It might be more accurate to call it "poorly managed" or

There was a pull request merged a month ago. Looking at the commit history it doesn't seem dead to me. It might be more accurate to call it "poorly managed" or "uncommunicative".