Learn more about these different git repos.
Other Git URLs
7f78a9b
Turn off the project's documentation by default This will impact new projects but not the existing ones and will prevent a `Doc` tab leading to nothing if there is no doc.