An online Git repository to showcase the collaboration function of Git