What problem does it solve?
Keeping Positron's Ark submodule in sync requires manually creating PRs, writing descriptions, collecting release notes, and tracking which issues get closed. This Skill automates the entire bump workflow through the GitHub API without touching a local clone.
Core Features & Use Cases
- PR-tracked bumps: Point the submodule at an Ark PR's head while it is open, then finalize the same Positron PR to the merge commit once the Ark PR merges, on a single fixed branch.
- Latest-main bumps: Track posit-dev/ark@main on a dedicated branch, advancing it in place with fast-forward commits and an author guard that prevents clobbering a colleague's open bump PR.
- Automated PR descriptions: Generates Closes lines, e2e test tags, aggregated release notes from bumped Ark PRs, and a first-parent commit list that collapses unmerged stacked PRs into one line each.
- Use Case: After merging an Ark PR, run the bump to update the Positron PR so it points at the merge commit with refreshed release notes and issue references, ready for CI and review.
Quick Start
Ask the assistant to run /bump-ark with an Ark PR number or "main" plus any extra @: e2e tags to open or update the Positron submodule bump PR.