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. ---