summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--HowToContributeToThisWiki.mdwn17
1 files changed, 14 insertions, 3 deletions
diff --git a/HowToContributeToThisWiki.mdwn b/HowToContributeToThisWiki.mdwn
index 93ef77ab..aaf41d86 100644
--- a/HowToContributeToThisWiki.mdwn
+++ b/HowToContributeToThisWiki.mdwn
@@ -53,11 +53,22 @@ Then you can work on these files.
Prepare to publish your changes.
- $ [TODO]
+ $ git-format-patch -M -B origin
+ 0001-Be-a-bit-more-expressive.patch
+ [...]
+
+See through the prepared **.patch* files and simply delete those you don't want
+to pulish.
-Finally publish them.
+Finally, publish the good ones. If you have a local mail transfer agent
+running, this is as simple follows.
+
+ $ git-send-email --to web-hurd@gnu.org *.patch
+ [...]
- $ [TODO]
+If you don't have an mta running, you'll have to find another way: either post
+the **.patch* files to <web-hurd@gnu.org> or upload them somewhere for us to
+download from.
## Do a Read-write Checkout of the git Repository