search

pre-commit-ci / issues

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

button to disable forks #46

Open asottile opened 3 years ago

asottile commented 3 years ago

github makes it really easy to opt into all of the repositories, but no good way to opt out / filter from there

add a button to the UI which will purge all forked repos

asottile commented 3 years ago

CC @RonnyPfannschmidt

asottile commented 3 years ago

so there isn't an api for this, I asked github about it and they said they'll "forward this along to the team" 😭

RonnyPfannschmidt commented 3 years ago

@asottile can you flag repos based on whether or not they are forks of pre-commit manged repos at least? also "yay github"

asottile commented 3 years ago

detecting is easy, but there's no api to do anything about it sadly

RonnyPfannschmidt commented 3 years ago

so youd have to "cancel" runs ? i didnt tig into the api myself, just wonder if this would be handle able on the pre-commit side

asottile commented 3 years ago

the github app model is to leave all that management to github's side and not to do it in your app (I'm not about to rebuild all the repository management)

it's not cost efficient either as I'd still receive all the web hooks for the extraneously installed repos

RonnyPfannschmidt commented 3 years ago

Yikes

janosh commented 2 years ago

You could mention this issue in the pre.commit.ci@gmail.com feature rollup and ask people who'd like this feature to come upvote this issue. Might increase the chance that GH takes the time to implement a filter repos API.

asottile commented 2 years ago

voting this issue does not help -- pre-commit-ci is a tiny project