From 2f45a482a6c9b7b078595c278a8578cfb07c06ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Daron?= <34960023+Kaporos@users.noreply.github.com> Date: Wed, 24 Apr 2024 21:54:26 +0200 Subject: [PATCH] fixed usage of old "checkout" command in contributing docs --- docs/contributing.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/contributing.md b/docs/contributing.md index a65fe0783..f767d35d4 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -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 `) -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 `) 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,