diff options
-rw-r--r-- | site/download/index.php | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/site/download/index.php b/site/download/index.php index 82a3d1d..887a701 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -82,6 +82,31 @@ <h2>TODO: populate this page.</h2> </div> + + <div class="section"> + + <h2>Git repositories</h2> + + <h3>Main repositories</h3> + <p> + This is the main repository, hosted by the libreboot project. + </p> + <p> + Firmware: $ <b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/> + Website: $ <b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b> + </p> + <h3>Backup repositories</h3> + <p> + These are backup repositories, in case the main repository is down. + Although these are regularly updated by the libreboot project, you + should ideally use the main repository. + </p> + <p> + Firmware: $ <b>git clone https://gitorious.org/libreboot-backup/libreboot.git</b> + Website: $ <b>git clone https://gitorious.org/libreboot-backup/libreboot-website.git</b> + </p> + + </div> <div class="section footer"> |