Quickly commit and push current changes to a feature branch and create a PR, skipping pre-push checks. WARNING: if CI starts failing, use /cp instead.
Commit all current changes, push to a feature branch, and open a pull request. Skips pre-push checks for speed — CI will catch issues.
Note: This skips
tools/pre-push. If CI starts failing after using this, switch to/cpwhich runs the full presubmit gate.
Check for changes:
git status
git diff --stat
git log --oneline -5
Stage all changes:
git add -A
Write a commit message following the project convention:
synq: (lowercase)Commit using a HEREDOC:
git commit -m "$(cat <<'EOF'
synq: <summary>
<optional body>
EOF
)"
Create a feature branch if on main:
If currently on main, create and switch to a descriptive branch:
git checkout -b <branch-name>
Branch naming: use lowercase kebab-case describing the change (e.g.,
add-cte-column-validation, fix-fmt-trailing-comma). No prefixes needed.
Push the branch:
git push -u origin HEAD
Create a PR using gh pr create:
gh pr create --title "<title>" --body "$(cat <<'EOF'
## Motivation
<Why this change is needed — what problem exists, what's missing, what broke>
## Changes
<What this PR does to address the motivation>
EOF
)"
synq: Report the PR URL to the user.