Agent skill

Push

by team-mirai in team-mirai/mirai-gikai

現在のブランチの変更を origin に push し、対応する pull request を作成 または更新する。push、更新の公開、pull request の作成を依頼されたときに使用する。

AGPL-3.0Auto-check passedDevelopment

Install Push

skills CLI
$ npx skills add team-mirai/mirai-gikai --skill push -a claude-code

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

GitHub CLI
$ gh skill install team-mirai/mirai-gikai push --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/team-mirai/mirai-gikai.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/push .claude/skills/push && 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
push
GitHub stars
212
Token cost
~724 tokens
SKILL.md length
125 words
Files
1
Skills in repo
10
Repo updated
First seen
Licence
AGPL-3.0

At a glance

現在のブランチの変更を origin に push し、対応する pull request を作成 または更新する。push、更新の公開、pull request の作成を依頼されたときに使用する。

  • Works in 8 steps: 現在のブランチを特定し、リモートの状態を確認する。 → push 前にローカル検証(make -C elixir all)を実行する。 → 必要に応じて upstream tracking を付けてブランチを… → …
  • Tasks that involve Pull requests
  • SKILL.md covers 前提条件, ゴール, 関連スキル and 手順, plus 2 more sections
  • Calls gh, git and make

What it does

Push is an agent skill from team-mirai/mirai-gikai. 現在のブランチの変更を origin に push し、対応する pull request を作成 または更新する。push、更新の公開、pull request の作成を依頼されたときに使用する。

Its SKILL.md is about 720 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Pull requests. The licence is AGPL-3.0.

When your agent uses it

  • Tasks that involve Pull requests

Example prompts

  • “/push”

Workflow steps

8 steps, taken from the first numbered list in SKILL.md.

  1. 現在のブランチを特定し、リモートの状態を確認する。
  2. push 前にローカル検証(make -C elixir all)を実行する。
  3. 必要に応じて upstream tracking を付けてブランチを origin に push する。設定済みのリモート URL をそのまま使う。
  4. push がクリーンでない・拒否された場合
  5. ブランチ用の PR が存在することを確認する
  6. PR 本文を .github/pull_request_template.md に従って明示的に書く/更新する
  7. mix pr_body.check で PR 本文を検証し、報告されたすべての問題を修正する。
  8. gh pr view の PR URL を返信する。

What it can do on your machine

Read from SKILL.md and the folder at commit 00b649b. 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:

    • gh
    • git
    • make

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

  • Network

    No URLs in SKILL.md. Its commands use gh and git, 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 no API keys, tokens, secrets or passwords.

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

Context cost

Push loads about 724 tokens when it runs. Until then it costs about 26 tokens; SKILL.md has 125 words of instructions outside code blocks.

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

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

The full file from team-mirai/mirai-gikai at commit 00b649b, republished under its AGPL-3.0 licence (© team-mirai). 125 words, ~724 tokens.

Download SKILL.mdSave it as .claude/skills/push/SKILL.md (or your agent's skills folder).
name
push
description
現在のブランチの変更を origin に push し、対応する pull request を作成 または更新する。push、更新の公開、pull request の作成を依頼されたときに使用する。

Push

前提条件

  • gh CLI がインストールされ PATH で利用可能。
  • このリポジトリでの GitHub 操作のために gh auth status が成功する。

ゴール

  • 現在のブランチの変更を origin に安全に push する。
  • ブランチ用の PR がない場合は作成、ある場合は既存の PR を更新する。
  • リモートが進んでいるとき、ブランチの履歴をクリーンに保つ。

関連スキル

  • pull: push が拒否されたり、同期がクリーンでない(non-fast-forward、マージコンフリクトのリスク、古いブランチ)ときに使用する。

手順

  1. 現在のブランチを特定し、リモートの状態を確認する。

  2. push 前にローカル検証(make -C elixir all)を実行する。

  3. 必要に応じて upstream tracking を付けてブランチを origin に push する。設定済みのリモート URL をそのまま使う。

  4. push がクリーンでない・拒否された場合:

    • 失敗が non-fast-forward や同期問題なら、pull スキルを実行して origin/main をマージし、コンフリクトを解決し、検証を再実行する。
    • 再度 push する。履歴を書き換えた場合のみ --force-with-lease を使う。
    • 設定済みリモートの認証・権限・ワークフロー制限による失敗の場合は、リモートを書き換えたりプロトコルを切り替えるワークアラウンドではなく、停止して正確なエラーをそのまま表面化する。
  5. ブランチ用の PR が存在することを確認する:

    • PR がなければ作成する。
    • PR が存在し open ならそれを更新する。
    • ブランチがクローズ/マージ済みの PR に紐づいている場合、新しいブランチ + PR を作成する。
    • 変更の結果を明確に記述する適切な PR タイトルを書く。
    • ブランチ更新の場合、現在の PR タイトルが最新のスコープに合っているかを明示的に再考する。合わなくなっていれば更新する。
  6. PR 本文を .github/pull_request_template.md に従って明示的に書く/更新する:

    • すべてのセクションをこの変更に合わせた具体的な内容で埋める。
    • すべてのプレースホルダコメント(<!-- ... -->)を置き換える。
    • テンプレートが期待する箇所では bullets/checkboxes を維持する。
    • PR が既に存在する場合、最新コミットだけでなくブランチ上のすべての意図された作業(追加・削除・アプローチ変更を含む)を反映するように本文をリフレッシュする。
    • 以前のイテレーションの古い説明文を再利用しない。
  7. mix pr_body.check で PR 本文を検証し、報告されたすべての問題を修正する。

  8. gh pr view の PR URL を返信する。

コマンド

sh
# ブランチを特定
branch=$(git branch --show-current)

# 最小の検証ゲート
make -C elixir all

# 初回 push: 現在の origin リモートを尊重する。
git push -u origin HEAD

# リモートが進んでいたために失敗した場合は pull スキルを使う。pull スキルでの解決と
# 再検証の後、通常の push を再試行する:
git push -u origin HEAD

# 設定済みリモートが認証・権限・ワークフロー制限で push を拒否した場合は、
# 停止して正確なエラーを表面化する。

# ローカルで履歴を書き換えた場合のみ:
git push --force-with-lease origin HEAD

# PR の存在を確認(無い場合のみ作成)
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
if [ "$pr_state" = "MERGED" ] || [ "$pr_state" = "CLOSED" ]; then
  echo "現在のブランチはクローズ済みの PR に紐づいています。新しいブランチ + PR を作成してください。" >&2
  exit 1
fi

# 出荷される変更を要約する明確で人間にやさしいタイトルを書く。
pr_title="<この変更のための明確な PR タイトル>"
if [ -z "$pr_state" ]; then
  gh pr create --title "$pr_title"
else
  # ブランチ更新ごとにタイトルを再考。スコープが変わったら編集する。
  gh pr edit --title "$pr_title"
fi

# 検証前に PR 本文を .github/pull_request_template.md と一致するように書く/編集する。
# ワークフロー例:
# 1) テンプレートを開きこの PR の本文ドラフトを書く
# 2) gh pr edit --body-file /tmp/pr_body.md
# 3) ブランチ更新の場合、タイトル/本文が現在の diff と一致するか再確認

tmp_pr_body=$(mktemp)
gh pr view --json body -q .body > "$tmp_pr_body"
(cd elixir && mix pr_body.check --file "$tmp_pr_body")
rm -f "$tmp_pr_body"

# 返信用の PR URL を表示
gh pr view --json url -q .url

ノート

  • --force は使わない。--force-with-lease も最後の手段としてのみ使う。
  • 同期問題とリモート認証/権限問題を区別する:
    • non-fast-forward や古いブランチの問題には pull スキルを使う。
    • 認証・権限・ワークフロー制限はリモートやプロトコルを変更するのではなく、そのまま表面化する。

© team-mirai, AGPL-3.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .agents/skills/push of team-mirai/mirai-gikai.

Open the folder on GitHubat commit 00b649b

Compare with similar skills

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.

Push compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Push this skillteam-mirai/mirai-gikai212—~724Automated safety check: PassAGPL-3.0
Finishing a Development Branchobra/superpowers296k5 repos~1.9kAutomated safety check: PassMIT
PR Babysitteropeninterpreter/openinterpreter69k3 repos~4.2kAutomated safety check: PassApache-2.0
Check PRonyx-dot-app/onyx32k2 repos~2.3kAutomated safety check: PassMIT
Understand Diff AnalysisEgonex-AI/Understand-Anything86k1 repos~1.4kAutomated safety check: PassMIT
PR Design DocOpenHands/OpenHands90k—~2.4kAutomated safety check: PassMIT

Similar skills

  • Walks the last step of a branch: confirm tests pass, detect the git environment, ask how to integrate, carry out your choice and clean up the worktree.

    296k GitHub starsUsed in 5 repos~1.9k tokens
    DevelopmentAuto-check passed
  • PR Babysitter

    openinterpreter/openinterpreter

    Watches an open GitHub pull request until it merges, handling review comments, diagnosing CI failures and retrying flaky checks along the way.

    69k GitHub starsUsed in 3 repos~4.2k tokens
    DevelopmentAuto-check passed
  • Check PR

    onyx-dot-app/onyx

    Checks a GitHub, GitLab, or Perforce (p4) pull request (or merge request, or shelved changelist) for unresolved review comments, failing status checks, and incomplete PR descriptions.

    32k GitHub starsUsed in 2 repos~2.3k tokens
    DevelopmentAuto-check passed
  • Understand Diff Analysis

    Egonex-AI/Understand-Anything

    Reads your git changes or a pull request against a prebuilt knowledge graph of the project to explain what changed, which components are affected and what is risky.

    86k GitHub starsUsed in 1 repo~1.4k tokens
    DevelopmentAuto-check passed
  • PR Design Doc

    OpenHands/OpenHands

    For a non-trivial pull request, write a self-contained HTML design doc under the temporary .pr/ directory and link a visibility-appropriate preview in the PR description, so maintainers grasp the…

    90k GitHub stars~2.4k tokensUpdated today
    DevelopmentAuto-check passed
  • WooCommerce Code Review

    woocommerce/woocommerce

    Reviews WooCommerce code changes against the project's standards, flagging backend PHP architecture, naming, documentation, data integrity and testing violations.

    11k GitHub starsUsed in 3 repos~1.1k tokens
    DevelopmentAuto-check passed

More from team-mirai/mirai-gikai

All 10 skills in this repo
  • Agent Browser

    team-mirai/mirai-gikai

    agent-browser CLIを使ったブラウザ操作のガイド。Webページの操作、スクレイピング、スクリーンショット取得などブラウザ自動化が必要なときに参照する。「ブラウザで開いて」「Webページを操作して」「スクリーンショットを撮って」と言われたらこのスキルを使う。

    212 GitHub stars~1.4k tokensUpdated yesterday
    Auto-check passed
  • Land

    team-mirai/mirai-gikai

    PR をランディングする。コンフリクトを監視・解決し、チェックを待ち、グリーンに なったら squash-merge する。land、merge、PR を完了まで導くことを依頼された ときに使用する。

    212 GitHub stars~1.6k tokensUpdated yesterday
    Auto-check passed
  • Linear

    team-mirai/mirai-gikai

    Linear と対話するためのスキル。Linear MCP サーバー(mcplinear ツール)を 優先的に使用し、MCP でカバーされない生の GraphQL 操作(イントロスペクション、 ファイルアップロードなど)は lineargraphql クライアントツールにフォールバックする。

    212 GitHub stars~1.9k tokensUpdated yesterday
    Auto-check passed
  • Linear

    team-mirai/mirai-gikai

    Linearタスクのステータス管理(In Progress / In Review への自動遷移). An agent skill from team-mirai/mirai-gikai.

    212 GitHub stars~407 tokensUpdated yesterday
    Auto-check passed
  • Parallel PR

    team-mirai/mirai-gikai

    複数の独立PRをチーム×worktreeで並列作成する。タスク一覧を受け取り、worktree準備→チーム組成→エージェント起動→CI確認→クリーンアップまで一気に実行する。

    212 GitHub stars~767 tokensUpdated yesterday
    Auto-check passed
  • PR Screenshot

    team-mirai/mirai-gikai

    UI変更を含むPRで、agent-browserでスクリーンショットを撮影し、R2にアップロードしてPR本文に貼り付ける

    212 GitHub stars~1.4k tokensUpdated yesterday
    Auto-check: notes

Categories

Questions about Push

What does Push do?

現在のブランチの変更を origin に push し、対応する pull request を作成 または更新する。push、更新の公開、pull request の作成を依頼されたときに使用する。. Push is an agent skill from team-mirai/mirai-gikai.

When should I use Push?

Push fits situations like: tasks that involve Pull requests.

How do I install Push in Claude Code?

Run `npx skills add team-mirai/mirai-gikai --skill push -a claude-code`. Or copy the skill folder (.agents/skills/push in team-mirai/mirai-gikai) into .claude/skills/push in your project. Claude Code loads it when a task matches its description.

How do I install Push in Codex?

Run `npx skills add team-mirai/mirai-gikai --skill push -a codex`. Or copy the skill folder (.agents/skills/push in team-mirai/mirai-gikai) into .agents/skills/push in your project. Codex loads it when a task matches its description.

Can I use 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 team-mirai/mirai-gikai --skill 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/push, .gemini/skills/push, .github/skills/push and .opencode/skills/push in your project.

What does Push need to run?

Going by SKILL.md and its folder, Push needs the command-line tools its instructions call (gh, git and make).

Does Push access the network?

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

Is 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 Push use?

Push is published under the AGPL-3.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Push use?

About 724 tokens (SKILL.md is roughly 2.9k 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 Push?

Skills that share tags, products or a category with Push: Finishing a Development Branch (obra/superpowers, 296k stars), PR Babysitter (openinterpreter/openinterpreter, 69k stars), Check PR (onyx-dot-app/onyx, 32k stars) and Understand Diff Analysis (Egonex-AI/Understand-Anything, 86k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Push?

team-mirai (a GitHub organization) maintains it in team-mirai/mirai-gikai, which has 212 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on October 7, 2026.

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