What's the purpose of this bot: https://github.com/apps/dotnet-policy-service?
For example here: dotnet/runtime#100530 (comment) My team was tagged here by the bot. I didn't receive a notification, I wasn't automatically subscribed to the issue. I've completely missed the issue until I was pinged directly by my collegue on the related PR.
In the past, when we were pinged by the bot, I'd be notified and automatically subscribed to the issue/PR. For example here: dotnet/runtime#73053 (comment)
What's the purpose of this bot: https://github.com/apps/dotnet-policy-service?
For example here: dotnet/runtime#100530 (comment) My team was tagged here by the bot. I didn't receive a notification, I wasn't automatically subscribed to the issue. I've completely missed the issue until I was pinged directly by my collegue on the related PR.
In the past, when we were pinged by the bot, I'd be notified and automatically subscribed to the issue/PR. For example here: dotnet/runtime#73053 (comment)