Supporting collaborative software development over GitHub. (16th December 2016)