idee: github toont je hoeveel tokens zijn gebruikt om de PR te genereren