Search

PythonReactSEOPDF
GitHub Skill

github-merge-pr

Merges a pull request after verifying checks pass.

erikbeerepoot☆ 0 Repository stars0 Repository forks

Installation

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.

View source ↗Guides

Skill instructions

Merge Pull Request

Instructions

  1. If no PR number provided, find the PR for the current branch
  2. Check PR status (reviews, CI checks)
  3. Warn if checks are failing or reviews are pending
  4. Merge the PR using squash merge by default
  5. Optionally delete the branch after merge

Examples

Read the usage examples in the source repository.

View source ↗

Source history

Indexed on
2026-01-20
Index updated
2026-01-26
Branch
main

Index and sync dates describe this directory. View the source repository for code history.

GitHub ↗

chat Comments (0)

chat_bubble_outline

No comments yet. Be the first to share your thoughts!