Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Exclude PRs from bugs project board #6003

Merged
merged 1 commit into from
Aug 23, 2023

Conversation

erimatnor
Copy link
Contributor

@erimatnor erimatnor commented Aug 23, 2023

An issue_comment event is triggered by comments on both issues and PRs. However, the bugs project workflow did not filter out pull requests when the issue_comment event happened, so pull requests were also added to the bugs project board.

Add a conditional that filters out pull requests so that only issues are added to the board.

Disable-check: force-changelog-file

An `issue_comment` event is triggered by comments on both issues and
PRs. However, the bugs project workflow did not filter out pull
requests when the `issue_comment` event happened, so pull requests
were also added to the bugs project board.

Add a conditional that filters out pull requests so that only issues
are added to the board.
@codecov
Copy link

codecov bot commented Aug 23, 2023

Codecov Report

Merging #6003 (05dd256) into main (e47832b) will decrease coverage by 0.08%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #6003      +/-   ##
==========================================
- Coverage   87.07%   86.99%   -0.08%     
==========================================
  Files         243      243              
  Lines       55964    55960       -4     
  Branches    12387    12384       -3     
==========================================
- Hits        48728    48680      -48     
- Misses       4891     4914      +23     
- Partials     2345     2366      +21     

see 16 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@erimatnor erimatnor merged commit d1246ee into timescale:main Aug 23, 2023
35 checks passed
@erimatnor erimatnor deleted the exclude-prs-from-bug-board branch August 23, 2023 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants