Git repository for mkdocs documentation for a school project