A repository for making documents public and practicing git