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

Bot still adds Triage labels to PRs #192

Closed
mdjermanovic opened this issue Mar 22, 2023 · 3 comments · Fixed by #193
Closed

Bot still adds Triage labels to PRs #192

mdjermanovic opened this issue Mar 22, 2023 · 3 comments · Fixed by #193
Labels

Comments

@mdjermanovic
Copy link
Member

We merged PR #191 that removes the auto-labeling of "triage" when new issues and PRs are created, but the bot is still auto-labeling new PRs.

Example of an auto-labeled PR that was created after merging #191: eslint/eslint#17012

@mdjermanovic
Copy link
Member Author

And this issue has just been auto-labeled :)

@nzakas
Copy link
Member

nzakas commented Mar 23, 2023

This makes me think that maybe the changes were never deployed. 🤔

@nzakas
Copy link
Member

nzakas commented Mar 23, 2023

Yup:

Pushing to Dokku Host
remote: -----> WARNING: deploy did not complete, you must push to main.
remote: -----> for example, try 'git push master:main'
To ssh://github-bot.eslint.org/eslint-github-bot
2d59ba9..ecab4e3 ecab4e3 -> master

For some reason the workflow didn't fail but the deploy did.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants