forked from
tangled.org/core
Monorepo for Tangled
docs: fix mirroring information about git pushurl
+14
-15
+14
-15
docs/DOCS.md
+14
-15
docs/DOCS.md
···
170
170
171
171
You'll see something like:
172
172
173
-
```
173
+
```bash
174
174
origin git@github.com:username/my-project (fetch)
175
175
origin git@github.com:username/my-project (push)
176
176
```
···
189
189
190
190
You should now see:
191
191
192
-
```
192
+
```bash
193
193
origin git@tangled.org:user.tngl.sh/my-project (fetch)
194
194
origin git@tangled.org:user.tngl.sh/my-project (push)
195
195
```
···
209
209
If you want to maintain your repository on multiple forges
210
210
simultaneously, for example, keeping your primary repository
211
211
on GitHub while mirroring to Tangled for backup or
212
-
redundancy, you can do so by adding multiple remotes.
212
+
redundancy, you can do so by adding [multiple remotes](https://git-scm.com/docs/git-push#_remotes).
213
213
214
214
You can configure your local repository to push to both
215
215
Tangled and, say, GitHub. You may already have the following
216
216
setup:
217
217
218
-
```
218
+
```bash
219
219
$ git remote -v
220
-
origin git@github.com:username/my-project (fetch)
221
-
origin git@github.com:username/my-project (push)
220
+
origin git@github.com:username/my-project.git (fetch)
221
+
origin git@github.com:username/my-project.git (push)
222
222
```
223
223
224
224
Now add Tangled as an additional push URL to the same
···
229
229
```
230
230
231
231
You also need to re-add the original URL as a push
232
-
destination (Git replaces the push URL when you use `--add`
233
-
the first time):
232
+
destination (Git will now use the original URL to fetch only):
234
233
235
234
```bash
236
-
git remote set-url --add --push origin git@github.com:username/my-project
235
+
git remote set-url --add --push origin git@github.com:username/my-project.git
237
236
```
238
237
239
238
Verify your configuration:
240
239
241
-
```
240
+
```bash
242
241
$ git remote -v
243
-
origin git@github.com:username/repo (fetch)
244
-
origin git@tangled.org:username/my-project (push)
245
-
origin git@github.com:username/repo (push)
242
+
origin git@github.com:username/my-project.git (fetch)
243
+
origin git@tangled.org:user.tngl.sh/my-project (push)
244
+
origin git@github.com:username/my-project.git (push)
246
245
```
247
246
248
247
Notice that there's one fetch URL (the primary remote) and
···
267
266
you can maintain separate remotes:
268
267
269
268
```bash
270
-
git remote add github git@github.com:username/my-project
271
-
git remote add tangled git@tangled.org:username/my-project
269
+
git remote add github git@github.com:username/my-project.git
270
+
git remote add tangled git@tangled.org:user.tngl.sh/my-project
272
271
```
273
272
274
273
Then push to each explicitly: