For github, I would add advertising as a source of revenue. From looking at the september data, github jobs seems to add around $1.2m per year to the bottom line.