Exclude non-technical jobs in GitHub numbers

The first pass for GitHub numbers included all employees. This PR changes them to reflect only employees whose primary job is technical.