Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature: Some way to get notified about pushes to main branches of verification tools #49

Open
kw-corne opened this issue Apr 28, 2023 · 0 comments
Open

Feature: Some way to get notified about pushes to main branches of verification tools #49

kw-corne opened this issue Apr 28, 2023 · 0 comments
Labels
status:proposal type:feature

Comments

@kw-corne
Copy link
Collaborator

kw-corne commented Apr 28, 2023 •
edited
Loading

Currently, verifiers are cloned and installed at a specific commit hash, meaning verification tools are not automatically updated. Therefore it would be nice if had something in place to:

  1. Notify us via Slack (or whatever means of communication) when a commit to a main branch is pushed
  2. Super ideally: Automatically open a PR to update the commit hash (ala dependabot)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
status:proposal type:feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kw-corne