fixed usage of old "checkout" command in contributing docs

This commit is contained in:
Théo Daron 2024-04-24 21:54:26 +02:00 committed by Martin von Zweigbergk
parent a63dbcc329
commit 2f45a482a6

View file

@ -42,8 +42,9 @@ message.
When you address comments on a PR, don't make the changes in a commit on top (as When you address comments on a PR, don't make the changes in a commit on top (as
is typical on GitHub). Instead, please make the changes in the appropriate is typical on GitHub). Instead, please make the changes in the appropriate
commit. You can do that by checking out the commit (`jj checkout/new <commit>`) commit. You can do that by creating a new commit on top of the initial commit
and then squash in the changes when you're done (`jj squash`). `jj git push` (`jj new <commit>`) and then squash in the changes when you're done (`jj squash`).
`jj git push`
will automatically force-push the branch. will automatically force-push the branch.
When your first PR has been approved, we typically give you contributor access, When your first PR has been approved, we typically give you contributor access,