Skip to content

Conversation

erezrokah
Copy link
Contributor

Auto label PR based on title to avoid having a failed status check

@erezrokah erezrokah requested a review from ehmicky August 3, 2020 09:00
@github-actions github-actions bot added the type: chore work needed to keep the product and development running smoothly label Aug 3, 2020
@erezrokah erezrokah merged commit 6787a5c into master Aug 3, 2020
@erezrokah erezrokah deleted the ci/add_pr_labeler branch August 3, 2020 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: chore work needed to keep the product and development running smoothly
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants