GitHub Tools
Github Check If Pull Request Merged
Utilisez Github Check If Pull Request Merged avec GitHub Tools via Aident Loadout. Vérifiez les entrées, sorties, la configuration, le tarif et le risque avant exécution.
Action d'écritureNiveau de risque 2 sur 5Connexion OAuth
Description du fournisseur
Checks if a pull request has been merged by querying the GitHub API. Use this action when you need to verify whether a specific pull request has been successfully merged into its target branch. The API returns a 204 status for merged PRs and 404 for unmerged PRs.