That's 9 PRs vs, as someone pointed out below, roughly 41000 commits in the project.
Someone pointed out elsewhere:
*Correction after looking a bit closer, I think Amazon has submitted at least 600 PRs, they only listed 9 in the blog post. That's better but it still doesn't change the fact their business model doesn't allow the companies they're building on the backs of to have a sustainable revenue stream. commit 8e413f85e8978da83db107aae51e5543d4779dba
Author: paulward24 <52216289+paulward24@users.noreply.github.com>
Date: Wed Jul 3 04:37:07 2019 -0700
Ensure to access RecoveryState#fileDetails under lock
Closes #43840Referring to the fact that the original 600 Amazon PR claim was rescinded in that thread