Official agent skill

GitHub PR Mirror

by oracle in oracle/graalpython

Mirror an external GitHub pull request into the internal GraalPython Bitbucket review flow, including OCA label checks, Jira creation or reuse, preserving PR commits, pre-commit cleanup, and handoff…

OfficialCustom licenceAuto-check passed

Install GitHub PR Mirror

skills CLI
$ npx skills add oracle/graalpython --skill github-pr-mirror -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install oracle/graalpython github-pr-mirror --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/oracle/graalpython.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/github-pr-mirror .claude/skills/github-pr-mirror && rm -rf skills-src

Use ~/.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/

Facts

Skill name
github-pr-mirror
GitHub stars
1.7k
Token cost
~1.3k tokens
SKILL.md length
581 words
Files
1
Skills in repo
8
Repo updated
First seen
Licence
Custom licence

At a glance

Mirror an external GitHub pull request into the internal GraalPython Bitbucket review flow, including OCA label checks, Jira creation or reuse, preserving PR commits, pre-commit cleanup, and handoff…

  • Works in 5 steps: Inspect the GitHub PR and verify OCA → Create or reuse the Jira issue → Fetch the PR and create the mirror branch → …
  • SKILL.md covers Companion Skills, Inputs, Workflow and Final Report, plus 1 more section
  • Calls git and gh; needs JIRA_KEY

What it does

GitHub PR Mirror is an agent skill from oracle/graalpython, published by the product's own GitHub organization. Mirror an external GitHub pull request into the internal GraalPython Bitbucket review flow, including OCA label checks, Jira creation or reuse, preserving PR commits, pre-commit cleanup, and handoff to the shared GraalPython Bitbucket PR flow for PR creation, Graal Bot tasks, gates, and fixes.

Its SKILL.md is about 1.3k 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 GitHub, Bitbucket, Jira and Java. The repository describes itself as: GraalPy – A high-performance embeddable Python 3 runtime for Java.

Example prompts

  • “/github-pr-mirror”

Requirements

  • A credential in JIRA_KEY

Workflow steps

5 steps, taken from the step headings in SKILL.md.

  1. Inspect the GitHub PR and verify OCA
  2. Create or reuse the Jira issue
  3. Fetch the PR and create the mirror branch
  4. Run pre-commit on the PR range
  5. Create the Bitbucket PR and follow gates

What it can do on your machine

Read from SKILL.md and the folder at commit 154205b. 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

    Shell commands in SKILL.md call:

    • git
    • gh

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md. Its commands use git and gh, which can reach the network depending on how they are called.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names these keys or tokens, usually read from environment variables:

    • JIRA_KEY

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

GitHub PR Mirror loads about 1.3k tokens when it runs. Until then it costs about 78 tokens; SKILL.md has 581 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~78
When it runs · the whole SKILL.md, loaded when a task matches
~1.3k

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 581 words (~1,331 tokens).

“Use this skill when asked to mirror, import, port, or copy a GitHub pull request into Bitbucket for GraalPython review.”

— opening of SKILL.md by oracle, Custom licence
name
github-pr-mirror

Read the full SKILL.md on GitHub

Files

Just SKILL.md in .agents/skills/github-pr-mirror of oracle/graalpython.

Open the folder on GitHubat commit 154205b

Compare with similar skills

GitHub PR Mirror 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.

GitHub PR Mirror compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
GitHub PR Mirror this skilloracle/graalpython1.7k—~1.3kAutomated safety check: PassCustom licence
Oft Spec Driven Developmentitsallcode/openfasttrace198—~2kAutomated safety check: PassGPL-3.0
Sync Client Libsgoogleads/google-ads-api-developer-assistant100—~537Automated safety check: PassApache-2.0
CodeScope Codebase Graph AnalysisQwenLM/qwen-code28k1 repos~9.3kAutomated safety check: PassApache-2.0
Codegraph QAQwenLM/qwen-code-examples143—~4.3kAutomated safety check: PassNone
Wiring External Webhooksfriday-platform/friday-studio104—~1.8kAutomated safety check: PassCustom licence

Similar skills

  • Oft Spec Driven Development

    itsallcode/openfasttrace

    Support spec-driven development in projects that use OpenFastTrace, a system-requirements document in doc/systemrequirements.md, an arc42-style design in doc/design.md, and per-issue task plans in…

    198 GitHub stars~2k tokensUpdated today
    DevelopmentAuto-check passed
  • Sync Client Libs

    googleads/google-ads-api-developer-assistant

    Discovers Google Ads client libraries under clientlibs, verifies installed versions against GitHub latest releases, and automatically updates outdated codebases.

    100 GitHub stars~537 tokensUpdated 20 days ago
    Marketing & SEOAuto-check passed
  • Answers questions about code structure, history, bugs and PR risk using a CodeScope knowledge graph and semantic index built from the repository.

    28k GitHub starsUsed in 1 repo~9.3k tokens
    DevelopmentAuto-check passed
  • Codegraph QA

    QwenLM/qwen-code-examples

    Use CodeScope to analyze any indexed codebase via its graph database (neug) and vector index (zvec).

    143 GitHub stars~4.3k tokensUpdated 4 mo ago
    DevelopmentAuto-check passed
  • Wiring External Webhooks

    friday-platform/friday-studio

    Connects an external service's webhook (Bitbucket / Jira / GitHub / custom) to a workspace's HTTP signal via Friday's /hook/raw/ tunnel URL.

    104 GitHub stars~1.8k tokensUpdated 1 mo ago
    Backend & APIsAuto-check passed
  • GitHub Deep Research

    bytedance/deer-flow

    Researches a GitHub repository over four rounds using the GitHub API and web search, then writes a structured markdown report with timeline, metrics and Mermaid diagrams.

    83k GitHub starsUsed in 5 repos~1.3k tokens
    Research & ScienceAuto-check passed

More from oracle/graalpython

All 8 skills in this repo
  • Official

    Analyze recent GraalPy benchmark regressions on master as part of the weekly rota.

    1.7k GitHub stars~1.6k tokensUpdated yesterday
    Auto-check passed
  • Rota Check Periodic Jobs

    oracle/graalpython

    Official

    Analyze current GraalPy periodic job failures for ROTA. An agent skill from oracle/graalpython.

    1.7k GitHub stars~792 tokensUpdated yesterday
    Auto-check passed
  • Rota Update Import

    oracle/graalpython

    Official

    Run the GraalPy ROTA import update workflow. An agent skill from oracle/graalpython.

    1.7k GitHub stars~475 tokensUpdated yesterday
    Auto-check passed
  • Graalpython Bitbucket PR

    oracle/graalpython

    Official

    Create or continue a GraalPython Bitbucket pull request and drive it through Graal Bot tasks, gate start, gate monitoring, failure investigation, fixes, pushes, and gate reruns.

    1.7k GitHub stars~1.3k tokensUpdated yesterday
    Auto-check passed
  • PR Gate Check

    oracle/graalpython

    Official

    Check gate status for a Bitbucket PR by resolving the PR head commit, finding the gate merge commit, inspecting builds on that merge commit, and summarizing root-cause failures with actionable next…

    1.7k GitHub stars~637 tokensUpdated yesterday
    Auto-check passed
  • Third Party Package Patches

    oracle/graalpython

    Official

    Create or update GraalPy third-party package and Rust crate compatibility patches under graalpython/lib-graalpython/patches, including PyPI source preparation, Cargo crate autopatching, rebasing…

    1.7k GitHub stars~1.7k tokensUpdated yesterday
    Auto-check passed

Questions about GitHub PR Mirror

What does GitHub PR Mirror do?

Mirror an external GitHub pull request into the internal GraalPython Bitbucket review flow, including OCA label checks, Jira creation or reuse, preserving PR commits, pre-commit cleanup, and handoff…. GitHub PR Mirror is an agent skill from oracle/graalpython, published by the product's own GitHub organization. Mirror an external GitHub pull request into the internal GraalPython Bitbucket review flow, including OCA label checks, Jira creation or reuse, preserving PR commits, pre-commit cleanup, and handoff to the shared GraalPython Bitbucket PR flow for PR creation, Graal Bot tasks, gates, and fixes.

How do I install GitHub PR Mirror in Claude Code?

Run `npx skills add oracle/graalpython --skill github-pr-mirror -a claude-code`. Or copy the skill folder (.agents/skills/github-pr-mirror in oracle/graalpython) into .claude/skills/github-pr-mirror in your project. Claude Code loads it when a task matches its description.

How do I install GitHub PR Mirror in Codex?

Run `npx skills add oracle/graalpython --skill github-pr-mirror -a codex`. Or copy the skill folder (.agents/skills/github-pr-mirror in oracle/graalpython) into .agents/skills/github-pr-mirror in your project. Codex loads it when a task matches its description.

Can I use GitHub PR Mirror 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 oracle/graalpython --skill github-pr-mirror -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/github-pr-mirror, .gemini/skills/github-pr-mirror, .github/skills/github-pr-mirror and .opencode/skills/github-pr-mirror in your project.

What does GitHub PR Mirror need to run?

Going by SKILL.md and its folder, GitHub PR Mirror needs the command-line tools its instructions call (git and gh) and credentials named JIRA_KEY. Our summary lists: A credential in JIRA_KEY.

Does GitHub PR Mirror access the network?

SKILL.md contains no URLs. Its commands use git and gh, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is GitHub PR Mirror 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 GitHub PR Mirror use?

GitHub PR Mirror 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 GitHub PR Mirror use?

About 1.3k tokens (SKILL.md is roughly 5.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 GitHub PR Mirror?

Skills that share tags, products or a category with GitHub PR Mirror: Oft Spec Driven Development (itsallcode/openfasttrace, 198 stars), Sync Client Libs (googleads/google-ads-api-developer-assistant, 100 stars), CodeScope Codebase Graph Analysis (QwenLM/qwen-code, 28k stars) and Codegraph QA (QwenLM/qwen-code-examples, 143 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains GitHub PR Mirror?

oracle (a GitHub organization, an official publisher) maintains it in oracle/graalpython, which has 1,652 GitHub stars. The repository holds 8 skills in this directory. The repository was last updated on October 6, 2026.

Source: oracle/graalpython on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.