A demo for github collaboration