Skip to content

GitHub labeler configuration changes#7393

Merged
blinkov merged 4 commits intomasterfrom
labeler
Oct 20, 2019
Merged

GitHub labeler configuration changes#7393
blinkov merged 4 commits intomasterfrom
labeler

Conversation

@blinkov
Copy link
Copy Markdown
Contributor

@blinkov blinkov commented Oct 20, 2019

No description provided.

@blinkov blinkov added the pr-documentation Documentation PRs for the specific code PR label Oct 20, 2019
@blinkov blinkov merged commit 1c02fed into master Oct 20, 2019
@blinkov blinkov deleted the labeler branch October 20, 2019 03:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-documentation Documentation PRs for the specific code PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant