diff options
Diffstat (limited to 'source/services')
| -rw-r--r-- | source/services/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/services/index.rst b/source/services/index.rst index 34eba77..20a7e81 100644 --- a/source/services/index.rst +++ b/source/services/index.rst @@ -26,6 +26,7 @@ The following services are currently being provided by CTI via the Linux Foundat * Core Toolchain Infrastructure project documentation repository. * ``git clone gitolite.coretoolchain.dev:cti/cti.coretoolchain.dev`` + * `Read-only anonymous mirrors <https://git.coretoolchain.dev>`_ CTI uses only free and open source software (FOSS) to provide these services and aims to comply with the `GNU Ethical Repository hosting criteria |