From be0e3f4564416b43b68c69de4587fea80e23d213 Mon Sep 17 00:00:00 2001
From: Volker Grabsch <vog@notjusthosting.com>
Date: Fri, 7 Dec 2012 12:01:40 +0100
Subject: Improve documentation to reflect our preference of pull requests over
 mailing list postings

---
 index.html | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index d57f989..357b82f 100644
--- a/index.html
+++ b/index.html
@@ -2073,8 +2073,15 @@ https://...</pre>
 
     <li>
         <p>
-        Propose your final <code>*.mk</code> file to the mailing list.
-        Don't forget to tell us
+        Issue a
+        <a href="https://help.github.com/articles/creating-a-pull-request">pull request</a>
+        to propose your final <code>*.mk</code> file to us.
+        If you have trouble with pull requests,
+        send your file to the mailing list instead.
+        </p>
+        <p>
+        Either way,
+        don't forget to tell us
         if there are some pieces in your <code>*.mk</code> file
         you feel unsure about.
         We'll then have a specific look at those parts,
-- 
cgit v0.12