用途：将当前分支改动安全推送到 origin，并在需要时创建或更新对应的 Pull Request。
前提条件：已安装 gh CLI 并可在 PATH 中使用；gh auth status 对该仓库的 GitHub 操作验证成功。
主要能力：安全推送当前分支；若分支尚无 PR 则创建，已有打开的 PR 则更新；远程已前进时保持分支历史整洁。相关技能 pull 用于推送被拒绝或同步不干净（非快进、合并冲突风险或分支过期）的情况。
使用方式：先确认当前分支与远程状态，推送前运行本地校验 make -C elixir all，再使用已配置的远程 URL 推送并设置上游跟踪：git push -u origin HEAD。若推送被拒绝且属于非快进或同步问题，先运行 pull 技能合并 origin/main、解决冲突并重新校验，然后重试普通推送；仅在本地历史被重写时使用 git push --force-with-lease origin HEAD。若失败源于认证、权限或远程工作流限制，应停止并直接呈现原始错误，不要改写远程或切换协议。随后确保分支存在 PR：无 PR 则创建，已有打开的 PR 则更新，若分支关联已关闭或已合并的 PR 则新建分支和 PR。PR 标题需清晰描述变更结果，分支更新时重新考虑标题是否仍匹配最新范围。PR 正文需按 .github/pull_request_template.md 显式填写每个部分、替换所有占位注释、保留模板要求的项目符号与复选框；已有 PR 时刷新正文以反映分支全部预期工作而非仅最新提交，不要复用旧描述。用 mix pr_body.check 校验正文并修复问题，最后用 gh pr view 返回 PR URL。
限制：不要使用 --force，仅将 --force-with-lease 作为最后手段；需区分同步问题与远程认证/权限问题。资料未提供其他平台支持、收费或效果信息。