search

pre-commit-ci / issues

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

Any chance to sign pre-commit.ci up as a CircleCI user? #201

Closed larsoner closed 6 months ago

larsoner commented 6 months ago

In our org we prevent unregistered users from spending our CircleCI credits. But it leads to this block-unregistered-user any time pre-commit.ci pushes a commit to one of our PRs (here is an example from autofix.ci but the problem is the same).

Would it be possible to sign the pre-commit.ci bot/email up for CircleCI so that this stops happening? In theory it's free to sign up.

I could un-block unregistered users but that carries risks. And there is no way I know of to add unregistered users to an allowlist on CircleCI.

larsoner commented 6 months ago

... the reply from the autofix.ci folks was that they use a GitHub App bot so there is nothing they can do -- if that's indeed the case for pre-commit-ci, feel free to close!

asottile commented 6 months ago

yep just an app here

I would recommend asking circle CI to add allowances for github bots