GitHub annual report: China became the second-largest revenue contributor