@@ -497,7 +497,7 @@ to that vendor's branches.</p>
<p>If you have set up push access, then the branch can similarly be pushed to
using:</p>
<blockquote><pre>
- git push vendors/<vendor> <vendor>/<topic>
+ git push vendors/<vendor> <vendor>/<topic>
</pre></blockquote>
<p>The script can be re-run with, or without <code>--enable-push</code>
@@ -516,7 +516,7 @@ to that vendor's branches.</p>
run and starting from the most recent commit on <code>master</code>:</p>
<blockquote><pre>
- contrib/git-add-vendor-branch.sh <vendor>/<topic> master
+ contrib/git-add-vendor-branch.sh <vendor>/<topic> master
</pre></blockquote>
This will create the branch both locally and on the server, but will not