I would wonder how many of those accounts have pushed to a repo recently, not just their own (in cases where people work for a company/on a project that has a G

I would wonder how many of those accounts have pushed to a repo recently, not just their own (in cases where people work for a company/on a project that has a GitHub organization).