git-remote-mediawiki: allow a domain to be set for authentication

diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt
index 14609cbd4dc2f7f3c16f7b660e4aff76eca6065b..e1da46876682e9d95a7505e1bc116cbe07f2ec61 100644 (file)
--- a/Documentation/git-pull.txt
+++ b/Documentation/git-pull.txt
@@ -8,6 +8,7 @@ git-pull - Fetch from and merge with another repository or a local branch
 
 SYNOPSIS
 --------
+[verse]
 'git pull' [options] [<repository> [<refspec>...]]