From b25eb18ea42a34fda687780ef0d4e46c9aa31440 Mon Sep 17 00:00:00 2001 From: jubnl Date: Mon, 25 May 2026 22:16:16 +0200 Subject: [PATCH] wiki: small precision in dev env --- wiki/Development-environment.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/wiki/Development-environment.md b/wiki/Development-environment.md index 63e923d6..73461888 100644 --- a/wiki/Development-environment.md +++ b/wiki/Development-environment.md @@ -58,6 +58,7 @@ git rebase upstream/dev # or: git merge upstream/dev Working on a dedicated branch keeps your changes isolated and makes PRs easier to review: ```bash +# Create a new branch off of dev git checkout -b fix/my-changes origin/dev ``` @@ -153,7 +154,7 @@ git add . git commit -m "fix: describe your change" # Push to your fork's dev branch -git push origin fix/my-changes:dev +git push origin fix/my-changes # Or if working directly on dev git push origin dev