Skip to content

Commit

Permalink
chore: fix trigger for force-push sticky comment (#4377)
Browse files Browse the repository at this point in the history
# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

#4373 isn't being triggered properly currently.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [ ] I have tested the changes locally.
- [ ] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
  • Loading branch information
TomAFrench authored Feb 14, 2024
1 parent 2952bf1 commit da1281f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/pull-request-title.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ jobs:
force-push-comment:
name: Warn external contributors about force-pushing
runs-on: ubuntu-latest
if: github.repository != 'noir-lang/noir' && github.event_name == 'pull_request_target'
if: ${{ github.event_name == 'pull_request_target' && github.event.pull_request.head.repo.full_name != 'noir-lang/noir' }}
permissions:
pull-requests: write

Expand Down

0 comments on commit da1281f

Please sign in to comment.