diff options
| -rw-r--r-- | site/git/index.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php index 44df921..15c8114 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -144,6 +144,9 @@ <p> A new directory named <em><strong>libreboot-website</strong></em> will have been created, containing the libreboot website files. </p> + <p> + Are one of these repositories down? <a href="#gitbackup">Go here for backup repositories</a> + </p> <p> <a href="#pagetop">Back to top of page</a> </p> |