# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1334349972 -7200
# Node ID 1f418794d59f39dabf914a61a0719388401e0c97
# Parent  54da84393840ca244ae658ceae54255313d557ba
Document recommended .git/config settings for committers

diff -r 54da84393840 -r 1f418794d59f index.html
--- a/index.html	Fri Apr 13 22:09:39 2012 +0200
+++ b/index.html	Fri Apr 13 22:46:12 2012 +0200
@@ -475,6 +475,30 @@
     and to <a href="#creating-packages">propose new packages</a>.
     </p>
 
+    <h3>For Committers</h3>
+
+    <p>
+    The following <code>.git/config</code> settings ensure
+    that the stable branch will always be pushed to the
+    <code>gh-pages</code> branch in addition to the
+    <code>stable</code> branch,
+    thus ensuring the website will always stay in sync:
+    </p>
+    <pre>[remote "origin"]
+        url = git@github.com:mxe/mxe.git
+        fetch = +refs/heads/*:refs/remotes/origin/*
+        push = refs/heads/master:refs/heads/master
+        push = refs/heads/stable:refs/heads/stable
+        push = refs/heads/stable:refs/heads/gh-pages
+[branch "master"]
+        remote = origin
+        merge = refs/heads/master
+[branch "stable"]
+        remote = origin
+        merge = refs/heads/stable</pre>
+
+    <h3>Branch Concept</h3>
+
     <p>
     For the sake of simplicity, there are just two
     branches, "master" and "stable". Although it might