diff options
author | Jonathan Nieder <jrn@google.com> | 2018-10-10 05:54:59 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2018-10-10 05:54:59 +0000 |
commit | b3133a31642ea88f0e4fe9c382411d43278dc9e4 (patch) | |
tree | c72601d46a490856451082620a74e38b136a8f45 /subcmds/sync.py | |
parent | 3b24e7b5577fc6d812e1d002ada9fdf85256fcd3 (diff) | |
parent | b8f7bb04d003f8dbcf3ef2b201fc2678308995af (diff) | |
download | git-repo-b3133a31642ea88f0e4fe9c382411d43278dc9e4.tar.gz |
Merge "update markdown/help header format"
Diffstat (limited to 'subcmds/sync.py')
-rw-r--r-- | subcmds/sync.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index cda47fdd..943a0264 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
@@ -155,8 +155,7 @@ exist locally. | |||
155 | The --prune option can be used to remove any refs that no longer | 155 | The --prune option can be used to remove any refs that no longer |
156 | exist on the remote. | 156 | exist on the remote. |
157 | 157 | ||
158 | SSH Connections | 158 | # SSH Connections |
159 | --------------- | ||
160 | 159 | ||
161 | If at least one project remote URL uses an SSH connection (ssh://, | 160 | If at least one project remote URL uses an SSH connection (ssh://, |
162 | git+ssh://, or user@host:path syntax) repo will automatically | 161 | git+ssh://, or user@host:path syntax) repo will automatically |
@@ -170,8 +169,7 @@ environment variable to 'ssh'. For example: | |||
170 | export GIT_SSH=ssh | 169 | export GIT_SSH=ssh |
171 | %prog | 170 | %prog |
172 | 171 | ||
173 | Compatibility | 172 | # Compatibility |
174 | ~~~~~~~~~~~~~ | ||
175 | 173 | ||
176 | This feature is automatically disabled on Windows, due to the lack | 174 | This feature is automatically disabled on Windows, due to the lack |
177 | of UNIX domain socket support. | 175 | of UNIX domain socket support. |