Menü
現在のブランチの変更を `origin` に push し、対応する pull request を作成 または更新する。push、公開、PR 作成を頼まれたときに使う。
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
| name | push |
| description | 現在のブランチの変更を `origin` に push し、対応する pull request を作成 または更新する。push、公開、PR 作成を頼まれたときに使う。 |
gh CLI がインストール済みで、PATH 上にあること。gh auth status が成功すること。origin へ push する。pull: push が拒否されたときや同期状態がきれいでないとき（non-fast-forward、競合の恐れ、古いブランチなど）に使う。make -C elixir all）を実行する。origin へ push する。pull スキルを使い、origin/main をマージして競合を解消し、検証をやり直す。--force-with-lease は履歴を書き換えた場合に限って使う。.github/pull_request_template.md を使って PR 本文を明示的に作成 / 更新する。
<!-- ... -->）を置き換える。mix pr_body.check で PR 本文を検証し、指摘をすべて直す。gh pr view で得られる PR URL を返す。# ブランチ名を確認
branch=$(git branch --show-current)
# 最低限の検証ゲート
make -C elixir all
# 初回 push。現在設定されている origin をそのまま使う。
git push -u origin HEAD
# remote 側が進んでいて失敗した場合は pull スキルを使う。
# 解消と再検証が終わったら、通常の push を再試行する。
git push -u origin HEAD
# 認証、権限、ワークフロー制約で拒否された場合は止まり、
# 正確なエラーをそのまま伝える。
# ローカルで履歴を書き換えた場合のみ:
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 に紐づいているため、新しい branch + PR を作成する必要があります。" >&2
exit 1
fi
# 出荷される変更を人間にわかりやすく要約したタイトルを書く。
pr_title="<clear PR title written for this change>"
if [ -z "$pr_state" ]; then
gh pr create --title "$pr_title"
else
# ブランチ更新のたびにタイトルを見直し、スコープがずれていれば修正する。
gh pr edit --title "$pr_title"
fi
# 検証前に `.github/pull_request_template.md` に沿って PR 本文を書く / 更新する。
# 例:
# 1) テンプレートを開いて、この PR 用の本文を下書きする
# 2) gh pr edit --body-file /tmp/pr_body.md
# 3) ブランチ更新時は、title / body が現在の 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 のみ使う。pull スキルを使う。現在の変更内容とセッション履歴をもとに、根拠のある整った `git commit`を作成する。コミット作成、コミットメッセージ準備、またはステージ済み作業の仕上げを頼まれたときに使う。
issue / session 識別子を手がかりに Symphony と Codex のログを追い、停滞した実行や失敗の原因を調べる。実行が止まる、何度もリトライする、あるいは予期せず失敗するときに使う。
PR の競合監視、解消、チェック待ち、グリーン後の squash merge までを行い、PR を着地させる。land、merge、あるいは PR を最後まで面倒見るよう頼まれたときに使う。
Symphony の `linear_graphql` client tool を使って、コメント編集や アップロードフローなどの生の Linear GraphQL 操作を行う。
現在のローカルブランチへ最新の `origin/main` を取り込み、マージ競合を 解決する（いわゆる update-branch）。feature branch を origin と同期し、 rebase ではなく merge で更新し、競合解決のベストプラクティスに沿って 進める必要があるときに使う。
Create new skills, modify and improve existing skills, and measure skill performance. Use when users want to create a skill from scratch, update or optimize an existing skill, run evals to test a skill, benchmark skill performance with variance analysis, or optimize a skill's description for better triggering accuracy.