GitHub Pull requests file path

This scripts converts shortened file paths (.../path/to/file) to full path (full/path/to/file)

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