Vérifie une pull request GitHub après une revue Insighto
Arrête de rouvrir GitHub pour te rappeler si la pull request revue a vraiment été fusionnée.
Déclencheur
Webhook reçu
Notis lance ce workflow quand un outil externe ou ton propre backend envoie une requête HTTP.
Action
Check if pull request merged
Vérifie si une pull request a été fusionnée.
Pourquoi c’est utile
Le suivi d’une fusion se perd facilement quand les discussions de revue et le code sont dans des endroits différents.
- Obtiens un résultat déterministe, fusionnée ou non fusionnée.
- Garde le dépôt et le contexte de la PR fournis avec le résultat.
- Réduis les vérifications répétées après les discussions de revue.
Mise en place
Monte-le en quelques étapes simples.
- 1Connecte Insighto ai et GitHub à Notis une seule fois.
- 2Crée une automatisation avec une instruction en langage courant pour vérifier la pull request fournie après une mise à jour Insighto.
- 3Choisis un webhook entrant et un canal pour les rapports d’exécution.
- 4Envoie un vrai payload de revue et confirme le résultat de la fusion.
Questions sur ce workflow
Notis lit-il directement les discussions Insighto ?
Non. Le webhook doit inclure les détails approuvés du dépôt et de la pull request issus d’Insighto.
Quand ceci arrive · Déclencheur
Fais ceci · Action
Déclencheurs et actions pris en charge
Notis crée des workflows qui relient Insighto ai à GitHub. Un déclencheur part d’un endroit, une action arrive dans un autre.
Déclencheurs Insighto ai
Actions GitHub
Déclencheur récurrent
Notis lance ce workflow selon un planning : chaque jour, chaque semaine ou pendant les heures de bureau, par exemple.
Accept a repository invitation
Accepte une invitation en attente à rejoindre un dépôt.
Déclencheur webhook
Notis lance ce workflow quand un outil externe ou ton propre backend envoie une requête HTTP.
Abort Repository Migration
Interrompt une migration de dépôt en attente ou en cours.
Add email for auth user
Ajoute des adresses e-mail à ton compte.
Add app access restrictions
Autorise des applications à pousser sur une branche protégée.
Add a repository collaborator
Ajoute un utilisateur comme collaborateur d’un dépôt ou modifie son accès.
Add field to user project
Ajoute un champ personnalisé à un projet appartenant à l’utilisateur.
Add a repository to an app installation
Accorde à une application l’accès à un dépôt.
Add item to user project
Ajoute une issue ou une pull request à un projet appartenant à l’utilisateur.
Connecte deux apps avec Notis au milieu.
Insighto ai et GitHub, ou toute autre combinaison parmi 1 500+ intégrations.
Quand ceci arrive · Déclencheur
Fais ceci · Action
Gagne ta première heure dès aujourd’hui.
Essai gratuit de 7 jours sur n’importe quel forfait payant, avec 20 $ de consommation inclus.
Sans carte bancaire. Fonctionne avec GitHub perso ou pro.