Pull request commit progress counter

When viewing a commit in a PR, show the number of commits and the position of the current commit in that list to make review progress more visible.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.