diff options
author | Timothy Gu <timothygu99@gmail.com> | 2015-07-24 01:23:27 (GMT) |
---|---|---|
committer | Timothy Gu <timothygu99@gmail.com> | 2015-07-24 01:24:35 (GMT) |
commit | 0ce41446fa5c77341e429040025984508a44d821 (patch) | |
tree | 492ba6ef0e3a376a2c538193a5bdfa061343b427 /index.html | |
parent | fb5543f1136b3de2a27a5d9bd6be4ac5be797a0f (diff) | |
download | mxe-0ce41446fa5c77341e429040025984508a44d821.zip mxe-0ce41446fa5c77341e429040025984508a44d821.tar.gz mxe-0ce41446fa5c77341e429040025984508a44d821.tar.bz2 |
Remove git configuration for committers
It's handled by Travis CI now.
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 18 |
1 files changed, 0 insertions, 18 deletions
@@ -464,24 +464,6 @@ USE_OSGPLUGIN(<plugin2>) <a href="https://lists.nongnu.org/mailman/listinfo/mingw-cross-env-list">mailing list</a> and to <a href="#creating-packages">propose new packages</a>. </p> - - <h3 id="committers">For Committers</h3> - - <p> - The following <code>.git/config</code> settings ensure - that the master branch will always be pushed to the - <code><a href="https://help.github.com/categories/github-pages-basics/">gh-pages</a></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/master:refs/heads/gh-pages -[branch "master"] - remote = origin - merge = refs/heads/master</pre> </div> <div class="section"> |