diff options
Diffstat (limited to 'source')
-rw-r--r-- | source/services/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/services/index.rst b/source/services/index.rst index 9a0234f..d5c565e 100644 --- a/source/services/index.rst +++ b/source/services/index.rst @@ -52,7 +52,9 @@ The following services are currently being provided by CTI via the Linux Foundat * Active users: * Core Toolchain Infrastructure project documentation repository. + * Authenticated access: ``git clone gitolite.coretoolchain.dev:cti/cti.coretoolchain.dev`` + * `Read-only anonymous mirror (cgit) <https://git.coretoolchain.dev>`_ CTI uses only free and open source software (FOSS) to provide these services |