merge
remotion-dev555 installs
Get your Remotion pull request through CI and merged.
What it does
Shepherds an existing Remotion pull request through conflicts and CI to a completed merge.
When to use it
Use when asked to run /merge, merge a PR after checks pass, or shepherd a Remotion PR through CI.
How to use it
Give it an existing Remotion pull request; it works through merge readiness and CI, then merges it or reports a blocker.
What you provide
- An existing project
Uses
Good to know
- cannot be undone: GitHub
Latest review
What you need · 4
Requires the GitHub CLI to inspect the pull request, watch checks, inspect failed jobs, and merge.
Requires GitHub access with permission to merge the pull request and delete its branch.
Access · 2
This skill
GitHub
Write
Merges PRs and deletes branches (irreversible)
GitHub Actions
Execute
Reruns flaky CI jobs