[website] 01/02: Make set-url part of git remote command instead of a separate option.

[Bas Couwenberg]

This is an automated email from the git hooks/post-receive script.

sebastic pushed a commit to branch master
in repository website.

commit 2275e02e0eb9c5f8868cf2407f747faa51562548
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Sat Jul 9 23:38:32 2016 +0200

    Make set-url part of git remote command instead of a separate option.
---
 policy.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/policy.xml b/policy.xml
index d92c275..43f64ba 100644
--- a/policy.xml
+++ b/policy.xml
@@ -319,7 +319,7 @@
               You can configure Git to use SSH only for <literal>push</literal>
               actions, by changing the URL:
 <programlisting>
-<command>git remote</command> <option>set-url</option> <option>--push</option> origin ssh://<replaceable><username></replaceable>@git.debian.org/git/pkg-grass/<replaceable><package></replaceable>.git
+<command>git remote set-url</command> <option>--push</option> origin ssh://<replaceable><username></replaceable>@git.debian.org/git/pkg-grass/<replaceable><package></replaceable>.git
 </programlisting>
             </para>
           </listitem>

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/website.git