Merge pull request #499 from ocaisa/repo_as_url

Add notes for CVMFS repos that might be used as URLs

Author: boegel

docs/repositories/dev.eessi.io.md

@@ -1,5 +1,12 @@
 # Development repository (`dev.eessi.io`)
 
+!!! note "Is `dev.eessi.io` a webpage?"
+    If you landed on this page because you typed `dev.eessi.io` into your browser, then
+    you may not know yet that this is not a URL/webpage but a [CernVM-FS repository](../filesystem_layer.md)
+    that EESSI uses to distribute software.
+ 
+    **See the [EESSI overview page](../overview.md) for a general introduction to EESSI.**
+
 ## What is `dev.eessi.io`?
 
 `dev.eessi.io` is the development repository of EESSI. With it, developers in the [MultiXscale CoE](https://multixscale.eu) can deploy pre-release builds of their software to EESSI.
@@ -19,4 +26,4 @@ of the EESSI Slack.
 
 ## Infrastructure status
 
-The status of the CernVM-FS infrastructure for the production repository is shown at [https://status.eessi.io](https://status.eessi.io/).
+The status of the CernVM-FS infrastructure for the production repository is shown at [https://status.eessi.io](https://status.eessi.io/).

docs/repositories/riscv.eessi.io.md

@@ -1,5 +1,12 @@
 # EESSI RISC-V development repository (`riscv.eessi.io`)
 
+!!! note "Is `riscv.eessi.io` a webpage?"
+    If you landed on this page because you typed `riscv.eessi.io` into your browser, then
+    you may not know yet that this is not a URL/webpage but a [CernVM-FS repository](../filesystem_layer.md)
+    that EESSI uses to distribute software.
+ 
+    **See the [EESSI overview page](../overview.md) for a general introduction to EESSI.**
+
 This repository contains development versions of an EESSI RISC-V software stack.
 Note that versions may be added, modified, or deleted at any time.
 

docs/repositories/software.eessi.io.md

@@ -1,5 +1,12 @@
 # Production EESSI repository (`software.eessi.io`)
 
+!!! note "Is `software.eessi.io` a webpage?"
+    If you landed on this page because you typed `software.eessi.io` into your browser, then
+    you may not know yet that this is not a URL/webpage but a [CernVM-FS repository](../filesystem_layer.md)
+    that EESSI uses to distribute software.
+ 
+    **See the [EESSI overview page](../overview.md) for a general introduction to EESSI.**
+
 ## Question or problems
 
 If you have any questions regarding EESSI, or if you experience a problem in accessing or using it,