github-merge-pr
Merges a pull request after verifying checks pass.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
Merge Pull Request
Instructions
- If no PR number provided, find the PR for the current branch
- Check PR status (reviews, CI checks)
- Warn if checks are failing or reviews are pending
- Merge the PR using squash merge by default
- Optionally delete the branch after merge
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-01-26
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!