Verify repository access when a public request is marked complete
Add proof to the done status for repository access, so the requester does not discover later that the administrative step never landed.
Trigger
Public Team Issue Properties Updated
Fires when properties on a *public-team* Linear issue change (status, assignee, priority, labels, etc.). For private teams (lock icon in Linear's sidebar) use `LINEAR_PRIVATE_TEAM_ISSUE_PROPERTIES_UPDATED`.
Action
Check if a user is a repository collaborator
Checks if a user is a collaborator on a specified github repository, returning a 204 status if they are, or a 404 status if they are not or if the repository/user does not exist.
Why this helps
An access request may be closed in Linear based on intent even though the GitHub collaborator change did not succeed.
- Catches incomplete access requests
- Provides a simple yes-or-no verification
- Reduces repeated messages from blocked contributors
Setup
Build it in a few focused steps.
- 1Connect Linear and GitHub to Notis once.
- 2Describe that completed public Linear access requests should verify the named user's collaborator status on the named repository.
- 3Select the public team issue properties updated trigger and choose a channel for run reports.
- 4Test with a known collaborator and a safe repository.
Questions about this workflow
Does this grant access if the check fails?
No. It only checks collaborator status and reports whether GitHub confirms it.
How is a non-collaborator reported?
GitHub returns a not-found result when the user is not a collaborator, which Notis can surface in the run report.
When this happens · Trigger
Do this · Action
Supported Triggers and Actions
Notis builds workflows that link Linear to GitHub. A trigger fires from one place; an action lands in another.
Linear triggers
GitHub actions
Recurring trigger
Notis starts this workflow on a schedule, such as daily, weekly, or during business hours.
Accept a repository invitation
Accepts a pending repository invitation that has been issued to the authenticated user.
Webhook trigger
Notis starts this workflow when an external tool or custom backend sends an HTTP request.
List repositories starred by the authenticated user
Deprecated: lists repositories starred by the authenticated user, including star creation timestamps; use 'list repositories starred by the authenticated user' instead.
Comment Received Trigger
Triggered when a comment is received.
List stargazers
Deprecated: lists users who have starred a repository; use `list stargazers` instead.
Issue Created Trigger
Triggered when a new issue is created.
Star a repository for the authenticated user
Deprecated: stars a repository for the authenticated user; use `star a repository for the authenticated user` instead.
Issue Updated Trigger
Triggered when an issue is updated. For example labels are changed, issue status is changed, etc.
Add email for auth user
Adds one or more email addresses (which will be initially unverified) to the authenticated user's github account; use this to associate new emails, noting an email verified for another account will error, while an existing email for the current user is accepted.
Private Team Comment Created
Fires when a new comment is posted on an issue in a private Linear team (polled with the connected user's token).
Add app access restrictions
Replaces github app access restrictions for an existing protected branch; requires a json array of app slugs in the request body, where apps must be installed and have 'contents' write permissions.
Private Team Issue Created
Fires when a new issue appears in a private Linear team (polled with the connected user's token).
Add a repository collaborator
Adds a github user as a repository collaborator, or updates their permission if already a collaborator; `permission` applies to organization-owned repositories (personal ones default to 'push' and ignore this field), and an invitation may be created or permissions updated directly.
Private Team Issue Properties Updated
Fires when properties on an issue change in a private Linear team (polled with the connected user's token).
Add a repository to an app installation
Adds a repository to a github app installation, granting the app access; requires authenticated user to have admin rights for the repository and access to the installation.
Connect any two apps with Notis in the middle.
Linear 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.