Please post this too.
GitHub has 880,159 open PRs (https://github.com/pulls?q=is%3Aopen+is%3Apr)
GitHub has 12,558,530 closed PRs (https://github.com/pulls?q=is%3Apr+is%3Aclosed)
(sarcasm)
GitHub has 880,159 open PRs (https://github.com/pulls?q=is%3Aopen+is%3Apr)
GitHub has 12,558,530 closed PRs (https://github.com/pulls?q=is%3Apr+is%3Aclosed)
(sarcasm)
It is absolutely boring for a normal person though.