Skip to content
This repository has been archived by the owner on Jan 11, 2023. It is now read-only.

chore: add pr labeler #54

Merged
merged 1 commit into from
Dec 10, 2020
Merged

chore: add pr labeler #54

merged 1 commit into from
Dec 10, 2020

Conversation

erezrokah
Copy link
Contributor

This PR helps us avoid setting a label manually

@github-actions github-actions bot added the type: chore work needed to keep the product and development running smoothly label Dec 10, 2020
Copy link
Contributor

@ehmicky ehmicky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! We should add this to more repositories.

@erezrokah erezrokah merged commit d20c3b2 into master Dec 10, 2020
@erezrokah erezrokah deleted the chore/add_pr_labeler branch December 10, 2020 13:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
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.

None yet

2 participants