mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-05 15:32:49 +00:00
cli reference: fix jj git push
link formatting
Currently, the rendering in https://jj-vcs.github.io/jj/prerelease/cli-reference/#jj-git-push is incorrect. Fixup to 5b5a9e7
This commit is contained in:
parent
0c446c9069
commit
4ba316d9f7
@ -73,6 +73,7 @@ use crate::ui::Ui;
|
||||
///
|
||||
/// [safety checks]:
|
||||
/// https://jj-vcs.github.io/jj/latest/bookmarks/#pushing-bookmarks-safety-checks
|
||||
///
|
||||
/// [bookmark conflicts]:
|
||||
/// https://jj-vcs.github.io/jj/latest/bookmarks/#conflicts
|
||||
|
||||
|
@ -1200,7 +1200,9 @@ Unlike in Git, the remote to push to is not derived from the tracked remote book
|
||||
|
||||
Before the command actually moves, creates, or deletes a remote bookmark, it makes several [safety checks]. If there is a problem, you may need to run `jj git fetch --remote <remote name>` and/or resolve some [bookmark conflicts].
|
||||
|
||||
[safety checks]: https://jj-vcs.github.io/jj/latest/bookmarks/#pushing-bookmarks-safety-checks [bookmark conflicts]: https://jj-vcs.github.io/jj/latest/bookmarks/#conflicts
|
||||
[safety checks]: https://jj-vcs.github.io/jj/latest/bookmarks/#pushing-bookmarks-safety-checks
|
||||
|
||||
[bookmark conflicts]: https://jj-vcs.github.io/jj/latest/bookmarks/#conflicts
|
||||
|
||||
**Usage:** `jj git push [OPTIONS]`
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user