skill
职业分类
描述
更新
push
软件开发工程师
Push the current feature branch to origin and create or update the corresponding pull request targeting `develop`.
2026-03-27
land
软件开发工程师
Land a PR by monitoring feedback, resolving conflicts against `develop`, waiting for checks, and squash-merging when green.
2026-03-12
commit
软件开发工程师
Create a well-formed git commit from current changes using session history for rationale and summary; use when asked to commit, prepare a commit message, or finalize staged work.
2026-03-12
pull
软件开发工程师
Pull the latest integration branch into the current feature branch and resolve merge conflicts. Use when Codex needs to sync a feature branch with origin using a merge-based update.
2026-03-12