GitHub push / pullの違い
pushは手元のcommitをGitHubへ送る操作、pullはGitHub側の変更を手元へ取り込む操作です。どちらもbranch、差分、conflictの可能性を確認してから進めます。
このページでわかること
- pushは送る操作、pullは取り込む操作
- branchとremoteを確認してから実行する
- conflictが出たら内容を読んで解消する
まず確認すること
- push前に差分と公開範囲を見る
- pull前にローカル未保存変更がないか見る
- mainへ直接入れずPRで確認できる流れを優先する
やってはいけないこと
- 履歴を書き換える操作を軽く扱う
- conflictを片側だけ見て機械的に消す
- 認証情報が入った変更をそのまま送る
安全寄りに進める手順
- 対象のrepo、branch、PR、Actions runを確認する。
- Secrets、APIキー、token、.env、個人情報が差分やログに出ていないか見る。
- 必要な場合は値を停止または再発行し、影響範囲を整理する。
- 変更は小さなbranchとPRに分け、CIとreviewで確認する。
CodexやAI作業時の注意
AIに作業を渡す時は、対象ファイル、触らないファイル、確認項目を明記します。認証情報や実際のキー値は本文、Issue、PR説明、ログ、レポートに残さないようにします。
公式情報で確認する領域
Actions、Secrets、PR、repository visibility、workflow permissionsは仕様が変わることがあります。実作業前にはGitHub Docsで最新の説明を確認してください。