You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Oct 26, 2022. It is now read-only.
webhooks can only be used when you have admin access to the repo in question. sometimes you want to act even when you are a collaborator.
by making the public-dns flag optional we should add a fallback mechanism which regularly polls the repo in question to execute the same behaviour. this way the bot would works in either case.
also, it pays on the long term goal to be not github dependent.
The text was updated successfully, but these errors were encountered:
webhooks can only be used when you have admin access to the repo in question. sometimes you want to act even when you are a collaborator.
by making the
public-dns
flag optional we should add a fallback mechanism which regularly polls the repo in question to execute the same behaviour. this way the bot would works in either case.also, it pays on the long term goal to be not github dependent.
The text was updated successfully, but these errors were encountered: