diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-03-05 18:17:19 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-03-05 18:17:19 +0100 |
| commit | d07689f82a29994100b094ca9b47c67e589a8d69 (patch) | |
| tree | 6159f39305e42a42287ec6d5a568f93b910a60c9 /contributing | |
| parent | c8717c4867e62c2590dce9920eba44f158d7cd92 (diff) | |
Use the git CLI syntax one is supposed to use these days.
Diffstat (limited to 'contributing')
| -rw-r--r-- | contributing/web_pages.mdwn | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn index 5796d56e..53eba725 100644 --- a/contributing/web_pages.mdwn +++ b/contributing/web_pages.mdwn @@ -1,4 +1,5 @@ -[[meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]] +[[meta copyright="Copyright © 2007, 2008, 2009 Free Software Foundation, +Inc."]] [[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -154,7 +155,7 @@ If you can push directly into the master repository this is really simple: If you can't do that, then first prepare to publish your changes: - $ git-format-patch -M -B origin + $ git format-patch -M -B origin 0001-Be-a-bit-more-expressive.patch [...] @@ -164,7 +165,7 @@ want to publish. Finally, publish the good ones. If you have a local mail transfer agent running, the following is all you have to do: - $ git-send-email --to web-hurd@gnu.org *.patch + $ git send-email --to web-hurd@gnu.org *.patch [...] If you don't have an MTA running, you'll have to find another way: either post |