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

chore: Disable documentation label #18423

Merged
merged 1 commit into from
May 6, 2024
Merged

chore: Disable documentation label #18423

merged 1 commit into from
May 6, 2024

Conversation

nzakas
Copy link
Member

@nzakas nzakas commented May 6, 2024

Prerequisites checklist

What is the purpose of this pull request? (put an "X" next to an item)

[ ] Documentation update
[ ] Bug fix (template)
[ ] New rule (template)
[ ] Changes an existing rule (template)
[ ] Add autofix to a rule
[ ] Add a CLI option
[ ] Add something to the core
[x] Other, please explain:

Update workflow

What changes did you make? (Give an overview)

Disabled adding documentation from the labeler action to avoid clashes with our bot.

fixes #18183

Is there anything you'd like reviewers to focus on?

@nzakas nzakas requested a review from a team as a code owner May 6, 2024 17:19
@eslint-github-bot eslint-github-bot bot added the chore This change is not user-facing label May 6, 2024
Copy link

netlify bot commented May 6, 2024

Deploy Preview for docs-eslint canceled.

Name Link
🔨 Latest commit c64fd79
🔍 Latest deploy log https://app.netlify.com/sites/docs-eslint/deploys/66391113f2c2d50008d59c57

@mdjermanovic mdjermanovic added the accepted There is consensus among the team that this change meets the criteria for inclusion label May 6, 2024
Copy link
Member

@mdjermanovic mdjermanovic left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

@mdjermanovic mdjermanovic merged commit 27e3060 into main May 6, 2024
19 checks passed
@mdjermanovic mdjermanovic deleted the nzakas-patch-1 branch May 6, 2024 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
accepted There is consensus among the team that this change meets the criteria for inclusion chore This change is not user-facing
Projects
Status: Complete
Development

Successfully merging this pull request may close these issues.

Repo: 'documentation' label added and removed quickly on PRs
2 participants