Skip to content

Conversation

@jakebailey
Copy link
Member

This is purely cosmetic but means that typescript-bot will close the issues instead of github-actions[bot].

@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Jun 8, 2023
@jakebailey jakebailey merged commit e49a15f into microsoft:main Jun 8, 2023
@jakebailey jakebailey deleted the ts-bot-token-close branch June 8, 2023 19:10
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 22, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants