Hong Zhang <[email protected]> writes:

Why Satish and several petsc developers are missing from the list of contributors?

That list only includes people with GitHub accounts that have matching email addresses registered.