Doc Sync
JetBrains/ideavim
Keeps IdeaVim documentation in sync with code changes. An agent skill from JetBrains/ideavim.
Push IntelliJ repository changes through the Safe Push workflow.
OfficialCustom licenceAuto-check passed
Install Safe Push
$ npx skills add JetBrains/intellij-community --skill safe-push -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install JetBrains/intellij-community safe-push --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/safe-push .claude/skills/safe-push && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .claude/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-pushType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add JetBrains/intellij-community --skill safe-push -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install JetBrains/intellij-community safe-push --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/safe-push .agents/skills/safe-push && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .agents/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add JetBrains/intellij-community --skill safe-push -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install JetBrains/intellij-community safe-push --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/safe-push .cursor/skills/safe-push && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .cursor/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/JetBrains/intellij-community.git --path .agents/skills/safe-push--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add JetBrains/intellij-community --skill safe-push -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install JetBrains/intellij-community safe-push --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/safe-push .gemini/skills/safe-push && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .gemini/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install JetBrains/intellij-community safe-pushInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add JetBrains/intellij-community --skill safe-push -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/safe-push .github/skills/safe-push && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .github/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add JetBrains/intellij-community --skill safe-push -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install JetBrains/intellij-community safe-push --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/JetBrains/intellij-community.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/safe-push .opencode/skills/safe-push && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "safe-push" agent skill from https://github.com/JetBrains/intellij-community/tree/master/.agents/skills/safe-push into .opencode/skills/safe-push/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "safe-push", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
safe-push- GitHub stars
- 21k
- Token cost
- ~1.1k tokens
- SKILL.md length
- 465 words
- Files
- 1
- Skills in repo
- 38
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
Push IntelliJ repository changes through the Safe Push workflow.
- Works in 5 steps: Your changes are pushed to a temporary… → Patronus triggers required CI checks… → Tests may retry up to 4 times for flaky… → …
- SKILL.md covers Overview, Safe Push CLI, Emergency Push and Bazel Tests and Environment…, plus 2 more sections
- Reaches patronus.labs.jb.gg
What it does
Safe Push is an agent skill from JetBrains/intellij-community, published by the product's own GitHub organization. Push IntelliJ repository changes through the Safe Push workflow.
Its SKILL.md is about 1.1k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It works with JetBrains IDEs. The repository describes itself as: IntelliJ IDEA & IntelliJ Platform.
Example prompts
- “/safe-push”
Workflow steps
5 steps, taken from the first numbered list in SKILL.md.
- Your changes are pushed to a temporary branch
- Patronus triggers required CI checks (tests, compilation)
- Tests may retry up to 4 times for flaky failures
- If all checks pass, changes are merged to the target branch
- You receive Slack/Space/Email notification of results
What it can do on your machine
Read from SKILL.md and the folder at commit 562e3a2. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md (its code samples are bash and java).
From the folder's file list and the shell code blocks in SKILL.md.
Network
Hosts in commands or code, which the agent is likely to contact:
patronus.labs.jb.gg
Also links to:
youtrack.jetbrains.com
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Safe Push loads about 1.1k tokens when it runs. Until then it costs about 19 tokens; SKILL.md has 465 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 465 words (~1,072 tokens).
“This guide covers the Safe Push process for pushing changes to the IntelliJ repository.”
- name
- safe-push
Files
Just SKILL.md in .agents/skills/safe-push of JetBrains/intellij-community.
Open the folder on GitHubat commit 562e3a2
Compare with similar skills
Safe Push next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Safe Push this skillJetBrains/intellij-community | 21k | — | ~1.1k | Automated safety check: Pass | Custom licence | |
| Doc SyncJetBrains/ideavim | 10k | 2 repos | ~2.6k | Automated safety check: Pass | MIT | |
| Evals Contextzgsm-ai/costrict | 4.4k | 1 repos | ~1.9k | Automated safety check: Pass | Apache-2.0 | |
| ChangelogJetBrains/ideavim | 10k | 1 repos | ~2.7k | Automated safety check: Pass | MIT | |
| Compose Multiplatform Patternsmonta-app/ocpp-emulator | 180 | 5 repos | ~2k | Automated safety check: Pass | Apache-2.0 | |
| Roo Conflict Resolutionzgsm-ai/costrict | 4.4k | — | ~2.3k | Automated safety check: Pass | Apache-2.0 |
Similar skills
- Official
Evals Context
zgsm-ai/costrict
Provides context about the CoStrict evals system structure in this monorepo.
- Official
Changelog
JetBrains/ideavim
Maintains the IdeaVim changelog (CHANGES.md). An agent skill from JetBrains/ideavim.
Compose Multiplatform Patterns
monta-app/ocpp-emulator
Compose Multiplatform and Jetpack Compose patterns for KMP projects — state management, navigation, theming, performance, and platform-specific UI.
Roo Conflict Resolution
zgsm-ai/costrict
Provides comprehensive guidelines for resolving merge conflicts intelligently using git history and commit context.
- Official
Mps Language Analysis
JetBrains/MPS
Analyze an MPS language by name — discover concepts, properties, references, children, aspects (editor/constraints/behavior), and metadata.
More from JetBrains/intellij-community
All 38 skills in this repo- Official
Youtrack Community
JetBrains/intellij-community
YouTrack CLI for a community checkout; the monorepo uses youtrack.
- Official
Compare Python Typecheckers
JetBrains/intellij-community
Compare Python type inference with ty, pyrefly, and basedpyright.
- Official
Sibling Checkout Commits
JetBrains/intellij-community
Take commits from a sibling checkout as patches, without a fetch.
- Official
Code Style
JetBrains/intellij-community
Apply IntelliJ Kotlin and Java code style when writing or reviewing.
- Official
Notebook For Experiment
JetBrains/intellij-community
Create reproducible Jupyter notebooks for performance experiments.
- Official
Jewel Markdown
JetBrains/intellij-community
Build or debug Jewel Markdown parsing, rendering, and styling.
Related
Works with
Questions about Safe Push
What does Safe Push do?
Push IntelliJ repository changes through the Safe Push workflow. Safe Push is an agent skill from JetBrains/intellij-community, published by the product's own GitHub organization. Push IntelliJ repository changes through the Safe Push workflow.
How do I install Safe Push in Claude Code?
Run `npx skills add JetBrains/intellij-community --skill safe-push -a claude-code`. Or copy the skill folder (.agents/skills/safe-push in JetBrains/intellij-community) into .claude/skills/safe-push in your project. Claude Code loads it when a task matches its description.
How do I install Safe Push in Codex?
Run `npx skills add JetBrains/intellij-community --skill safe-push -a codex`. Or copy the skill folder (.agents/skills/safe-push in JetBrains/intellij-community) into .agents/skills/safe-push in your project. Codex loads it when a task matches its description.
Can I use Safe Push in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add JetBrains/intellij-community --skill safe-push -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/safe-push, .gemini/skills/safe-push, .github/skills/safe-push and .opencode/skills/safe-push in your project.
What does Safe Push need to run?
SKILL.md names no scripts, command-line tools or credentials: Safe Push is instructions for the agent only.
Does Safe Push access the network?
SKILL.md names 2 domains. In commands or code: patronus.labs.jb.gg; the agent is likely to contact it when it follows the instructions. As links in the text: youtrack.jetbrains.com. This is read from the text; nothing was executed.
Is Safe Push safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Safe Push use?
Safe Push has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
How many tokens does Safe Push use?
About 1.1k tokens (SKILL.md is roughly 4.3k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Safe Push?
Skills that share tags, products or a category with Safe Push: Doc Sync (JetBrains/ideavim, 10k stars), Evals Context (zgsm-ai/costrict, 4.4k stars), Changelog (JetBrains/ideavim, 10k stars) and Compose Multiplatform Patterns (monta-app/ocpp-emulator, 180 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Safe Push?
JetBrains (a GitHub organization, an official publisher) maintains it in JetBrains/intellij-community, which has 20,613 GitHub stars. The repository holds 38 skills in this directory. The repository was last updated on October 8, 2026.
Source: JetBrains/intellij-community on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.