diff options
| author | Andrew Ruder <andy@aeruder.net> | 2007-07-04 17:21:36 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-05 21:43:48 -0700 |
| commit | 37ba05619c76f9dbde35c418c6fc8af7bcda24c8 (patch) | |
| tree | b6c3f07f6d9bf3be5dee0ff6d0c0a6bedfaa954a /Documentation/git-push.txt | |
| parent | 114fd812f78ea375ee6782d4ff0203f3ae20b076 (diff) | |
| download | git-37ba05619c76f9dbde35c418c6fc8af7bcda24c8.tar.gz git-37ba05619c76f9dbde35c418c6fc8af7bcda24c8.tar.xz | |
Add urls.txt to git-clone man page
Since git-clone is one of the many commands taking
URLs to remote repositories as an argument, it should include
the URL-types list from urls.txt.
Split up urls.txt into urls.txt and urls-remotes.txt. The latter
should be used by anything besides git-clone where a discussion of
using .git/config and .git/remotes/ to name URLs just doesn't make
as much sense.
Signed-off-by: Andrew Ruder <andy@aeruder.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
| -rw-r--r-- | Documentation/git-push.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 665f6dc70..74a0da1ed 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -95,7 +95,7 @@ the remote repository. -v:: Run verbosely. -include::urls.txt[] +include::urls-remotes.txt[] Examples |