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

Add github-actions's comment when no labels #2447

Merged
merged 2 commits into from
Apr 10, 2022

Conversation

tkoyama010
Copy link
Member

Overview

Sometimes GitHubActions cannot determine the labeling of PullRequests. In that case, the PullRequest may be ignored from the release notes. I am manually labeling them as #2399 but may not be able to handle it. So I decided to use GitHubActions to request labeling from contributors. This comment will only be made if the required labeling has not been done.

#2399

Details

  • None

@tkoyama010 tkoyama010 marked this pull request as ready for review April 9, 2022 13:08
@github-actions github-actions bot added the maintenance Low-impact maintenance activity label Apr 9, 2022
@tkoyama010 tkoyama010 changed the title Add github-actions's comment when not labels Add github-actions's comment when no labels Apr 9, 2022
@codecov
Copy link

codecov bot commented Apr 9, 2022

Codecov Report

Merging #2447 (5763ebd) into main (ce1a374) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2447   +/-   ##
=======================================
  Coverage   93.64%   93.64%           
=======================================
  Files          74       74           
  Lines       15994    15994           
=======================================
  Hits        14977    14977           
  Misses       1017     1017           

@akaszynski akaszynski merged commit 5d117a2 into main Apr 10, 2022
@akaszynski akaszynski deleted the maint/comment-to-add-label branch April 10, 2022 23:27
tkoyama010 added a commit that referenced this pull request Apr 22, 2022
tkoyama010 added a commit that referenced this pull request Apr 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Low-impact maintenance activity
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants