### Bug description Please refer to the comments in [this issue](https://github.com/gitpod-io/gitpod/issues/6611) for an example, Roboquat would not assign team IDE via `/team IDE`. ### Steps to reproduce Try using `/team ide` or `/team IDE` on an issue in [this repo](https://github.com/gitpod-io/gitpod). ### Expected behavior Prow should assign the team label as `team: IDE` ### Example repository https://github.com/gitpod-io/gitpod/issues/6611 ### Anything else? _No response_
Bug description
Please refer to the comments in this issue for an example, Roboquat would not assign team IDE via
/team IDE.Steps to reproduce
Try using
/team ideor/team IDEon an issue in this repo.Expected behavior
Prow should assign the team label as
team: IDEExample repository
gitpod-io/gitpod#6611
Anything else?
No response