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.