Pull upstream without waiting for CI
BasixKOR opened this issue · comments
Sung Jeon commented
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?
Wei He commented
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.