I noted this in the edit to my post that I posted just before your comment was written (you were probably writing this when I posted my change). Given the sort of 'distributed' nature, and low managerial overhead of GitHub, this could well be considered a "they" post were it from a GitHub employee.