Type should be approachable and informative without trying to be futuristic or stylish. Like GitHub's interface, it shouldn't stand out and should appear uniform.
The GitHub typefaces in preferred order are as follows. Ping your nearest designer for local copies as needed.
Headings are scaled based on their context, responsively sizing themselves for optimum legibility and a cohesive rhythm.