Check a pull request without losing context
Ask Cody about the work, then have Notis check the specific pull request's merge status in GitHub.
Trigger
Webhook received
Notis starts this workflow when an external tool or custom backend sends an HTTP request.
Action
Check if pull request merged
Check whether a pull request has been merged.
Why this helps
Following up on a reviewed pull request often means reopening GitHub and repeating a status check.
- Check whether a specific pull request merged.
- Bring a crisp status result into a Cody-driven workflow.
- Reduce context switching for routine follow-up.
Setup
Build it in a few focused steps.
- 1Connect Cody and GitHub once in the Notis portal.
- 2Create an automation that checks the merge status of the supplied GitHub pull request.
- 3Pick the Notis webhook trigger and choose where run reports go.
- 4Test with one real pull request and review the returned status.
Questions about this workflow
Does this merge a pull request?
No. It checks whether the specified pull request has been merged.
What does the check return?
The action description indicates a 204 response for a merged pull request and a 404 for one that is not merged or not found.
When this happens · Trigger
Do this · Action
Supported Triggers and Actions
Notis builds workflows that link Cody to GitHub. A trigger fires from one place; an action lands in another.
Cody triggers
GitHub actions
Recurring trigger
Notis starts this workflow on a schedule, such as daily, weekly, or during business hours.
Accept a repository invitation
Accept a pending repository invitation.
Webhook trigger
Notis starts this workflow when an external tool or custom backend sends an HTTP request.
Abort Repository Migration
Aborts a queued or ongoing repository migration.
Add email for auth user
Add email addresses to your account.
Add app access restrictions
Allow apps to push to a protected branch.
Add a repository collaborator
Add a user as a repository collaborator or update their access.
Add field to user project
Adds a custom field to a user-owned project.
Add a repository to an app installation
Grant an app access to a repository.
Add item to user project
Adds an issue or pull request to a user-owned project.
Connect any two apps with Notis in the middle.
Cody and GitHub, or any other combination from 1,000+ integrations.
When this happens · Trigger
Do this · Action
Save your first hour today.
7-day trial of any paid plan, with 20$ of usage included.
No card. Works with personal or business GitHub.