Rename pending request channels with amount of pending requests

[violine1101]

It would be great if the pending request channels would be renamed so that the amount of unresolved requests is immediately visible without the need to visit the channel. (e.g. #20-java-pending-requests)

This may be a bit difficult to realize, not only because the bot needs to know how many unresolved requests there are left (which means it also needs to track message deletions etc.) but also because there's a rate limit on how often discord bots can edit channel titles. I'm not entirely sure as for what the exact rate limits are, but they exist (the Minecraft commands discord has had trouble with the channel renaming rate limit, but they also use it very extensively).