القائمة
Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create a pull request.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
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.
Land a PR by monitoring conflicts, resolving them, waiting for checks, and squash-merging when green; use when asked to land, merge, or shepherd a PR to completion.
Use Symphony's `linear_graphql` client tool for raw Linear GraphQL operations such as comment editing and status updates.
Pull latest origin/main into the current local branch and resolve merge conflicts (aka update-branch). Use when Codex needs to sync a feature branch with origin, perform a merge-based update, and resolve conflicts safely.
استنادا إلى تصنيف SOC المهني
| name | push |
| description | Push current branch changes to origin and create or update the corresponding pull request; use when asked to push, publish updates, or create a pull request. |
gh CLI is installed and available in PATH.gh auth status succeeds for GitHub operations in this repo.origin safely.pull: use this when push is rejected or the branch is stale.Run the checks that match the repo's normal contribution flow before pushing:
bun run lint
bun run test
Run browser coverage too when the change is user-facing, routing-related, or otherwise browser-observable:
bun run test:e2e
If Playwright browsers are missing, install them first:
bunx playwright install --with-deps chromium
origin with upstream tracking if needed.pull skill, rerun validation, and push again.gh pr view.branch=$(git branch --show-current)
git push -u origin HEAD
pr_state=$(gh pr view --json state -q .state 2>/dev/null || true)
if [ "$pr_state" = "MERGED" ] || [ "$pr_state" = "CLOSED" ]; then
echo "Current branch is tied to a closed PR; create a new branch + PR." >&2
exit 1
fi
pr_title="<clear PR title written for this change>"
if [ -z "$pr_state" ]; then
gh pr create --fill --title "$pr_title"
else
gh pr edit --title "$pr_title"
fi
gh pr view --json url -q .url
--force; use --force-with-lease only when local history was intentionally rewritten.pull skill for the former and surface the latter directly.