MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[JEWEL-1078] Add Jewel Contribution Guide

Browse Source 
GitOrigin-RevId: c0af4468ec31a5e8dd9800da4493123566979b40
This commit is contained in:
Dejan Milicic
2025-11-19 16:06:43 +00:00
committed by intellij-monorepo-bot
parent 388d08b91c
commit f1ca53c472
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/jewel/docs/jewel-contribution-guide.md
+2 -2
View File
@@ -82,7 +82,7 @@ Interacting with IJ Community PR Robot:
- `status <github-pr-id> - check status of a Patronus CI job for Github PR`
- `recreate <github-pr-id> - recreate internal github/pr-<id>/<hash> branch — used when the PR branch was modified (e.g., rebased) and the internal branch needs to be updated`
- `close <github-pr-id> - close Github PR`
- ``rebase <github-pr-id> - rebase internal github/pr-<id>/<hash> branch with the latest `master` state``
- `rebase <github-pr-id> - rebase internal github/pr-<id>/<hash> branch with the latest master state`
- `restart <github-pr-id> - 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.
---