Please post this too.<p>GitHub has 880,159 open PRs (<a href="https:&#x2F;&#x2F;github.com&#x2F;pulls?q=is%3Aopen+is%3Apr" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;pulls?q=is%3Aopen+is%3Apr</a>)<p>GitHub has 12,558,530 closed PRs (<a href="https:&#x2F;&#x2F;github.com&#x2F;pulls?q=is%3Apr+is%3Aclosed" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;pulls?q=is%3Apr+is%3Aclosed</a>)<p>(sarcasm)