Automate `delegated` tag?

Stream: general

[Scott Morrison]

Do we have an easy way for a bot to listen for bors d+, and add the delegated tag? (Presumably also to remove the awaiting-review tag?) This would be nice to help clear out the #queue, as often we delegate without remembering to change the tags by hand. @Bryan Gin-ge Chen?

[Bryan Gin-ge Chen]

It's actually something I've thought about doing for a while. Hopefully #7251 does the trick.

[Scott Morrison]

Shall I bors d+ it? :-)

[Bryan Gin-ge Chen]

Hmm, you can try, but I don't think the new code will run until after it's merged. :/

[Bryan Gin-ge Chen]

(The queue's a little backed up, so I'm going to cancel some workflows on outdated commits.)

[Bryan Gin-ge Chen]

@maintainers This automation is now live (as of the fix in #7320), so there's no need to manually add "delegated" and remove "awating-review" after commenting with bors d+ anymore!

[Patrick Massot]

Thanks!

[Johan Commelin]

Thanks a lot!