Incredible, that a purported programmer/software engineer in 2019 thinks that someone's Github commit history is the sum total of all their work. Not only that, you seem to be completely ignorant of how to find someone's Github commits to repos that aren't owned by their account.
You're right, I had assumed that the project that she was the owner of on her github portfolio was her primary contribution - I jumped to conclusions without digging any deeper and I'd delete the comment if Hacker News would let me.
https://github.com/achael/eht-imaging/graphs/contributors