From f1ca53c472ad985e801e5b3d04ea5b910245c84c Mon Sep 17 00:00:00 2001 From: Dejan Milicic Date: Wed, 19 Nov 2025 16:32:23 +0100 Subject: [PATCH] [JEWEL-1078] Add Jewel Contribution Guide GitOrigin-RevId: c0af4468ec31a5e8dd9800da4493123566979b40 --- platform/jewel/docs/jewel-contribution-guide.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/jewel/docs/jewel-contribution-guide.md b/platform/jewel/docs/jewel-contribution-guide.md index bfb96708ca66..a243f31d700b 100644 --- a/platform/jewel/docs/jewel-contribution-guide.md +++ b/platform/jewel/docs/jewel-contribution-guide.md @@ -82,7 +82,7 @@ Interacting with IJ Community PR Robot: - `status - check status of a Patronus CI job for Github PR` - `recreate - recreate internal github/pr-/ branch — used when the PR branch was modified (e.g., rebased) and the internal branch needs to be updated` - `close - close Github PR` - - ``rebase - rebase internal github/pr-/ branch with the latest `master` state`` + - `rebase - rebase internal github/pr-/ branch with the latest master state` - `restart - restart Patronus CI job` - `help - list all available commands` @@ -95,7 +95,7 @@ It ensures that Jewel remains compatible with all IntelliJ platform modules and ### 🔀 Mirror Bot -Synchronizes Jewel commits between internal monorepository and public GitHub community fork making merged changes publicly available. +Synchronizes Jewel commits between internal monorepository and public GitHub community mirror repository, making merged changes publicly available. ---