Exclude non-technical jobs in GitHub numbers

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