wei / pull

🤖 Keep your forks up-to-date via automated PRs

Home Page:https://github.com/apps/pull

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Pull upstream without waiting for CI

BasixKOR opened this issue · comments

Hi! I have a fork of DefinitelyTyped, and it seems like the pull app doesn't perform the hard reset until the workflow completes successfully. I think this doesn't really necessary as the merged commits would've run successfully anyway.

Would it be possible to skip CI by default?

We likely don't want to make this the default behavior as hard resets are destructive. You may be able to disable certain checks in your repo settings.