mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-18 18:27:38 +00:00
docs/contributing: fix incorrect bookmark name
This commit is contained in:
parent
efb9be4e55
commit
661c443dbc
1 changed files with 2 additions and 2 deletions
|
@ -398,8 +398,8 @@ back and forth, you can also rebuild the docs for the latest release as follows.
|
||||||
v1.33.1 latest --push
|
v1.33.1 latest --push
|
||||||
```
|
```
|
||||||
|
|
||||||
7. (Optional) When you are done, you may want to reset the `gh-bookmarks` to the
|
7. (Optional) When you are done, you may want to reset the `gh-pages` bookmark to the
|
||||||
same spot as it is in the upstream. If you configured the `upstream` remote,
|
same spot as it is upstream. If you configured the "upstream" remote,
|
||||||
this can be done with:
|
this can be done with:
|
||||||
|
|
||||||
```shell
|
```shell
|
||||||
|
|
Loading…
Reference in a new issue