update-pr
Update the pull request for the current session. Use when the user wants to push new changes to an existing PR.
SKILL.md
The description above is the indexed summary. With JavaScript enabled, this page also loads the SKILL.md text from GitHub.