I need to modify the name of a PDF file in a private GitHub repository. I cannot clone the repo because the problems are due to some special characters I would like to elimi
