There have been a total of 42 pull requests opened to Knots. 26 are open and 16 are closed without merge. Not one developer has a merged PR in Knots—not even Luke, who pushes code changes directly to the master branch. You can see this yourself by taking a look at the Knots repo.

#155 – Zero comments, closed by PR author #124 – Declined by maintainer #107 – Retracted by PR author #89 – Review not incorporated, closed by author #86 – Closed without comment #85 – Declined by maintainer #84 – Typo fix picked up in other commit #78 – Merged according to PR author, but via a different commit than the one in the branch #76, #55 – 2× One line to add missing dependency adopted by maintainer #54 – Doc update, unclear whether it was merged #53 – Declined #27 – Closed, issue fixed independently #23 – Declined #13 – PR declined for being obsolete #11 – Declined