Gostei muito de saber que tem boletim dos PR, que incrível. Parabéns. Isso poderia ser automatizado hein?

Agora deu até vontade de comitar, tem um bug no editor que às vezes perde o foco e não consigo digitar mais nada.