Comment by ColanR

If someone wants to check, I'd bet he at least forked or starred the github repo. A script to pull the list of those people, minus anyone whos been active since april 2017, would probably show his account.