search

pre-commit-ci / issues

public issues for https://pre-commit.ci
16 stars 3 forks source link

Manual re-queue button #98

Closed janosh closed 2 years ago

janosh commented 2 years ago

Sometimes pre-commit.ci seems to fail for random reasons (like manual DB edits 😄). GitHub Actions has a manual re-run button for such cases. Avoids the need to push again to verify pre-commit.ci status is actually fine.

Screen Shot 2021-11-10 at 21 13 31

asottile commented 2 years ago

you can comment pre-commit.ci run on any PR as documented in https://pre-commit.ci

janosh commented 2 years ago

I don't use PRs on my own repos.

asottile commented 2 years ago

I don't want to add such a button because it is easy to abuse

janosh commented 2 years ago

Doesn't pre-commit.ci run have the same potential for abuse?

asottile commented 2 years ago

nope! github's abuse mechanisms shield us