pull
pull copied to clipboard
Pull upstream without waiting for CI
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.