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 eliminate.
Following the instruction contained here, it is possible to rename every kind of file but PDF. Specifically, for PDF files, the button edit file does not exist.
Is there a way of renaming the file directly on GitHub?