Improve repository description

Co-authored-by: Kenneth Hoste <[email protected]>
EESSI · Oct 11, 2024 · c6b3ac0 · c6b3ac0
1 parent 2fcc55d
commit c6b3ac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/repositories/dev.eessi.io.md b/docs/repositories/dev.eessi.io.md
@@ -2,7 +2,7 @@
 
 ## What is `dev.eessi.io`?
 
-`dev.eessi.io` is the development repository of EESSI. With it, developers can build and deploy non-production ready versions of their software to a CernVM-FS repository. 
+`dev.eessi.io` is the development repository of EESSI. With it, developers can deploy pre-release builds of their software to EESSI. 
 This way, development versions of software can easily be tested on systems where the `dev.eessi.io` CernVM-FS repository is available.
 
 On a system with `dev.eessi.io` mounted access is possible with `module use /cvmfs/dev.eessi.io/versions/2023.06/modules/all`. Then, all that is left is