Test of using github for document collaboration