Skip to content

Commit

Permalink
fixed usage of old "checkout" command in contributing docs
Browse files Browse the repository at this point in the history
  • Loading branch information
tdaron committed Apr 25, 2024
1 parent ca02141 commit 3b7e40c
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions docs/contributing.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,8 +42,9 @@ message.

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
commit. You can do that by checking out the commit (`jj checkout/new <commit>`)
and then squash in the changes when you're done (`jj squash`). `jj git push`
commit. You can do that by creating a new commit on top of the initial commit
(`jj new <commit>`) and then squash in the changes when you're done (`jj squash`).
`jj git push`
will automatically force-push the branch.

When your first PR has been approved, we typically give you contributor access,
Expand Down

0 comments on commit 3b7e40c

Please sign in to comment.