fix: run the presubmit pipeline for PRs by sudoforge · Pull Request #1208 · git-bug/git-bug

@sudoforge marked this pull request as ready for review

July 24, 2024 03:38

@sudoforge sudoforge changed the title fix: run the presubmit pipeline only for PRs fix: run the presubmit pipeline for PRs

Jul 24, 2024

@sudoforge

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 sudoforge marked this pull request as ready for review

July 24, 2024 04:29

@sudoforge sudoforge deleted the I56abc35c98cc40a06066952f2b6ed9194b1ab903 branch

July 24, 2024 05:00