What problem does it solve?
This Skill automates the process of merging a Pull Request (PR) on GitHub after a learning file has been committed and pushed, ensuring a clean tree, passing checks, and reviewability.
Core Features & Use Cases
- Automated PR Merging: Merges a PR after a learning file is committed and pushed.
- Clean Tree Verification: Ensures the working tree is clean before merging.
- Check Passing Verification: Verifies that required checks are passing before merging.
- Review Verification: Ensures the PR has been reviewed before merging.
- Merge Strategy: Defaults to squash, but can adapt to repository's merge queue requirements.
- Use Case: Ideal for teams that want to streamline their PR workflow, reducing manual intervention and ensuring quality.
Quick Start
Run the '/merge' command after '/learn' has completed and the learning file has been pushed.