I problemi di GitHub sono ora molto più veloci. Molti miglioramenti delle prestazioni in coda.