docs GitHub repository for storing the minima docs. No manual commit should be ever done to this repository