diff options
author | Theodore Tso <tytso@mit.edu> | 2006-12-30 23:11:52 -0500 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-12-31 18:40:17 -0800 |
commit | 63c97ce228f2d2697a8ed954a9592dfb5f286338 (patch) | |
tree | c1ac755bde4a6025ebf9ae6a3cc6e6649f2e71cf | |
parent | Documentation: update tutorial's discussion of origin (diff) | |
download | tgif-63c97ce228f2d2697a8ed954a9592dfb5f286338.tar.xz |
Fix formatting for urls section of fetch, pull, and push manpages
Updated to make the nroff'ed man pages look nicer.
Signed-off-by: "Theodore Ts'o" <tytso@mit.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rw-r--r-- | Documentation/urls.txt | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/Documentation/urls.txt b/Documentation/urls.txt index 870c95073b..745f9677d0 100644 --- a/Documentation/urls.txt +++ b/Documentation/urls.txt @@ -41,9 +41,10 @@ file in `$GIT_DIR/remotes` directory can be given; the named file should be in the following format: ------------ -URL: one of the above URL format -Push: <refspec> -Pull: <refspec> + URL: one of the above URL format + Push: <refspec> + Pull: <refspec> + ------------ Then such a short-hand is specified in place of @@ -57,10 +58,11 @@ Or, equivalently, in the `$GIT_DIR/config` (note the use of `fetch` instead of `Pull:`): ------------ -[remote "<remote>"] - url = <url> - push = <refspec> - fetch = <refspec> + [remote "<remote>"] + url = <url> + push = <refspec> + fetch = <refspec> + ------------ The name of a file in `$GIT_DIR/branches` directory can be @@ -73,14 +75,14 @@ without the fragment is equivalent to have this in the corresponding file in the `$GIT_DIR/remotes/` directory. ------------ -URL: <url> -Pull: refs/heads/master:<remote> ------------- + URL: <url> + Pull: refs/heads/master:<remote> +------------ while having `<url>#<head>` is equivalent to ------------ -URL: <url> -Pull: refs/heads/<head>:<remote> + URL: <url> + Pull: refs/heads/<head>:<remote> ------------ |