GitHub Tools
Github Check If Pull Request Has Been Merged
Utilisez Github Check If Pull Request Has Been 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 specified GitHub pull request has been merged, indicated by a 204 HTTP status (merged) or 404 (not merged/found).