diff options
Diffstat (limited to 'site/git')
| -rw-r--r-- | site/git/index.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index 34c1e9e..f4b50ed 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -211,12 +211,18 @@ <p> <?php echo gettext("Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes."); ?> </p> + <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> <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."); ?> </p> + <p> + You can email your patches to <a href="mailto:<?php echo $devMailingListEmail; ?>"><?php echo $devMailingListEmail; ?></a>, which is the mailing list used for libreboot development discussion. + </p> <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)."); ?> + <?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> |