GitHub Issues Migration: label mapping

I think we need some issue management labels. Things like:

awaiting-information (OP was requested to clarify something).
pending-close (a core dev or triager suggests closing, but wants to give others a chance to object).

Maybe the bots can automatically close issues if they have one of these labels for a month.