Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始める$pwd:
codex-git-identity
// Codex が git commit コマンドを実行するときに、専用の Git author/committer 名とメールアドレスを使うように指示する。
$ git log --oneline --stat
stars:168
forks:14
updated:2026年5月22日 01:02
SKILL.md
// Codex が git commit コマンドを実行するときに、専用の Git author/committer 名とメールアドレスを使うように指示する。
Lean/Mathlib の機能、構文、タクティク、コード例、仕様、出典、背景理論を調査するときに使用する。Lean by Example の記事追加・編集前の下調べ、既存記事の根拠確認、外部資料からのコード例収集、Lean のバージョン差の確認で使う。
Lean 解説記事を編集・執筆するときに使う。
このリポジトリの実装のために環境構築を新規に行うときに使う。
| name | codex-git-identity |
| description | Codex が git commit コマンドを実行するときに、専用の Git author/committer 名とメールアドレスを使うように指示する。 |
Codex が git commit を実行する前に、コミットの author/committer が Codex 用の Git identity になるよう確認する。終わったら元に戻す。
後で戻すときのために現在の git config を確認する。
git config --global user.name
git config --global user.email
Codex 用の認証情報に設定する。
git config user.name Codex
git config user.email codex@openai.com
通常通りコミットする。
コミット後、元の設定に戻す。