Project Management

Commit Push PR

Commit current changes, push to remote, and create or update a pull request. Use when the user wants to commit and create a PR, push changes and open a pull request, or ship their current work as a PR.

Publisher / source

dyoshikawa/rulesync (found on GitHub top repositories)

Upstream record

dyoshikawa/rulesync

Version

Version 2

Published

2026-11-11

Publication review

Approved for publication · recorded passed scan 2026-11-11

Content fingerprint

4fc162ad16b0244c46e94349d876f46d00eced990ea2996bf21f56670c9d211c