Another use-case of GitHub is not mentioned: to get publicity, i.e. to gather stars.