diff options
Diffstat (limited to 'site/git')
| -rw-r--r-- | site/git/index.php | 59 |
1 files changed, 25 insertions, 34 deletions
diff --git a/site/git/index.php b/site/git/index.php index 4ed795e..a616765 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -46,7 +46,6 @@ <li><strong><a href="#sendpatch">How to submit your patches</a></strong></li> <li><a href="#githosting">List of recommended Git hosting providers</a></li> <li><strong><a href="#contrib">How to use git, for creating patches</a></strong></li> - <li><a href="#gitbackup">Backup git repositories</a></li> </ul> <p><a href="../"><?php echo gettext("Back to home page"); ?></a></p> @@ -144,8 +143,32 @@ <p> A new directory named <em><strong>libreboot-website</strong></em> will have been created, containing the libreboot website files. </p> + <h2><?php echo gettext("Backup repositories"); ?></h2> + <p> + Use these if one of the main repositories are down. + </p> + <h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3> + <p> + <?php + for ($server=0; $server<count($lbFirmwareBackupGitRepoAddress); $server++) { + ?> + $ <strong>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></strong> + <?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?> + <?php + } + ?> + </p> + + <h3><?php echo gettext("Libreboot website"); ?></h3> <p> - Are one of these repositories down? <a href="#gitbackup">Go here for backup repositories</a> + <?php + for ($server=0; $server<count($lbWebsiteBackupGitRepoAddress); $server++) { + ?> + $ <strong>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></strong> + <?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?> + <?php + } + ?> </p> <p> <a href="#pagetop">Back to top of page</a> @@ -296,38 +319,6 @@ </p> </div> - <div> - <h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?> <span class="r"><a href="#gitbackup">#gitbackup</a></span></h2> - - <h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3> - <p> - <?php - for ($server=0; $server<count($lbFirmwareBackupGitRepoAddress); $server++) { - ?> - $ <strong>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></strong> - <?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?> - <?php - } - ?> - </p> - - <h3><?php echo gettext("Libreboot website"); ?></h3> - <p> - <?php - for ($server=0; $server<count($lbWebsiteBackupGitRepoAddress); $server++) { - ?> - $ <strong>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></strong> - <?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?> - <?php - } - ?> - </p> - - <p> - <a href="#pagetop">Back to top of page</a> - </p> - </div> - <?php include "../common/footer.php"; ?> |