Stop wondering whether the release PR merged
Turn release follow-up into a small, dependable check that comes back to you.
Trigger
Recurring schedule
Notis starts this workflow on a schedule, such as daily, weekly, or during business hours.
Action
Check if pull request merged
Check whether a pull request has been merged.
Why this helps
Founders often remember that a PR mattered but not whether the final merge actually happened.
- Reduces status-checking loops
- Highlights unresolved release work
- Creates confidence after delegation
Setup
Build it in a few focused steps.
- 1Connect SureContact and GitHub to Notis once through the portal.
- 2Create the automation in the portal or ask Notis to set it up conversationally.
- 3Use this instruction: On the chosen schedule, check whether the specified GitHub release pull requests are merged and report only those that are still open or unresolved.
- 4Choose a recurring schedule, select the channel for reports, and test with one release pull request.
Questions about this workflow
Will it monitor every pull request?
No. Specify the important pull requests or the selection rule in the instruction.
Can it report only exceptions?
Yes. Ask Notis to report only unresolved results.
When this happens · Trigger
Do this · Action
Check whether a pull request has been merged.
Supported Triggers and Actions
Notis builds workflows that link SureContact to GitHub. A trigger fires from one place; an action lands in another.
SureContact 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.
SureContact and GitHub, or any other combination from 1,500+ 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.