idea: github ti mostra quanti token sono stati utilizzati per generare la PR