diff options
Diffstat (limited to 'site')
| -rw-r--r-- | site/git/index.php | 34 |
1 files changed, 32 insertions, 2 deletions
diff --git a/site/git/index.php b/site/git/index.php index e2dfd18..3298559 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -42,8 +42,9 @@ <ul class="c"> <li><a href="#howtohelp">How can I help the libreboot project?</a></li> <li><a href="#guidelines">General guidelines for submitting patches</a></li> - <li><a href="#download">How to download</a></li> + <li><a href="#download">How to download from the Git repository</a></li> <li><a href="#sendpatch">How to submit your patches</a></li> + <li><a href="#githosting">List of recommended Git hosting providers</a></li> <li><a href="#contrib">How to use git, for creating patches</a></li> <li><a href="#gitbackup">Backup git repositories</a></li> </ul> @@ -120,7 +121,7 @@ <div> - <h2 id="download"><?php echo gettext("How to download"); ?> <span class="r"><a href="#download">#download</a></span></h2> + <h2 id="download"><?php echo gettext("How to download from the Git repository"); ?> <span class="r"><a href="#download">#download</a></span></h2> <p> Libreboot development is facilitated by <em><a href="https://git-scm.com/">git</a></em>, a <em>distributed</em> version control system. You will need to install git (most GNU/Linux distributions package it in their repositories). @@ -158,6 +159,9 @@ <p> You can email this information to <a href="mailto:<?php echo $devMailingListEmail; ?>"><?php echo $devMailingListEmail; ?></a>, which is the mailing list used for libreboot development discussion. </p> + <p> + <strong>Check <a href="#githosting">#githosting</a>, for a list of Git hosting providers that we recommend.</strong> + </p> <h3><?php echo gettext("Method 2: git format-patch -N"); ?></h3> <p> <?php echo gettext("Use this method (replace N with the number of commits that you made) and send the .patch files to the libreboot project, along with details on what branch and revision these were made on top of."); ?> @@ -168,6 +172,32 @@ <p> <?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site). If you'll be using the mailing list(s) a lot, then it probably makes sense to subscribe to them."); ?> </p> + <p> + <a href="#pagetop">Back to top of page</a> + </p> + </div> + + <div> + <h2 id="githosting">List of recommended Git hosting providers <span class="r"><a href="#sendpatch">#githosting</a></span></h2> + <p> + There are several that we could recommend: + </p> + <ul> + <li><a href="https://git-scm.com/book/en/v2/Git-on-the-Server-The-Protocols">You!</a> (host your own Git repository, on your own server, on your own internet connection, in your own physical space)</li> + <li><a href="https://notabug.org/">NotABug.org</a></li> + <li><a href="https://savannah.nongnu.org/">Savannah</a></li> + </ul> + <p> + Most Git hosting providers distribute <a href="https://www.gnu.org/philosophy/javascript-trap.html">non-free JavaScript</a> on their website, but as far as we are aware all of these + providers are freedom-friendly and reliable to use. This list will be expanded upon at a later date. + </p> + <p> + We generally recommend self-hosting (first option in the list above). Git is a <em>decentralized</em> (distributed) version control system. + However, not everyone can afford to do this, so using one of the other providers on the list above is also acceptable. + </p> + <p> + <a href="#pagetop">Back to top of page</a> + </p> </div> <div> |