fix: run the presubmit pipeline for PRs by sudoforge · Pull Request #1208 · git-bug/git-bug
marked this pull request as ready for review
sudoforge
changed the title
fix: run the presubmit pipeline only for PRs
fix: run the presubmit pipeline for PRs
commit 5eabe54 refactored the workflows so that they were orchestrated with reusable workflows. an unintended side-effect of the rules that were created prevents the presubmit pipeline from executing for pull requests made against this repository. this change refactors this, so that the presubmit pipeline will _only_ run for pull requests against the default tree of this repository. we explicitly remove the `on: push` event for it, in order to avoid overlap that will occur for commits made in this repository that are also part of a PR. Change-Id: I56abc35c98cc40a06066952f2b6ed9194b1ab903
sudoforge
marked this pull request as ready for review
sudoforge
deleted the
I56abc35c98cc40a06066952f2b6ed9194b1ab903
branch
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters