Ho riaperto questo perché, sebbene questa particolare PR sia stata unita, la domanda generale su cosa fare per sollecitare una PR è ancora un po’ aperta.
Dal mio punto di vista, non tengo traccia delle PR su GitHub (), quindi penso che se stiamo cercando una risposta più formale a “cosa posso fare per sollecitare una revisione di una PR per il core o qualcosa di #ufficiale”, penso che aprire un argomento Dev qui su meta sarebbe un buon modo per attirare maggiore attenzione. Sentiti libero di taggarmi @JammyDodger e farò del mio meglio per infastidire le persone e farla revisionare (o almeno esaminare).