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

@dotnet-bot help does not work #111947

Closed
artl93 opened this issue Jan 29, 2025 · 2 comments
Closed

@dotnet-bot help does not work #111947

artl93 opened this issue Jan 29, 2025 · 2 comments

Comments

@artl93
Copy link
Member

artl93 commented Jan 29, 2025

I'm trying to get help using @dotnet-bot, but it's not returning anything when I try it in my PR.

@dotnet-bot help

Originally posted by @artl93 in #111938 (comment)

@dotnet-issue-labeler dotnet-issue-labeler bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jan 29, 2025
@dotnet-policy-service dotnet-policy-service bot added the untriaged New issue has not been triaged by the area owner label Jan 29, 2025
@jkotas jkotas added area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Jan 29, 2025
Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

@agocke
Copy link
Member

agocke commented Feb 3, 2025

As far as I know we don’t use that anymore.

@agocke agocke closed this as not planned Won't fix, can't repro, duplicate, stale Feb 3, 2025
@dotnet-policy-service dotnet-policy-service bot removed the untriaged New issue has not been triaged by the area owner label Feb 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Done
Development

No branches or pull requests

3 participants