I’m working on a partner’s repository code, and have been using the github.com web interface to directly make changes to the existing files – which has all been pretty straightforward.
However, I now need to delete a directory in the repository but this doesn’t seem possible via the github.com web interface.
I have tried forking and cloning the repository, making my changes, committing, syncing, then doing a Pull Request – but the problem with that is that the partner (who owns the original repository) isn’t around to accept the Pull Request, and I am just sat here waiting needlessly…
Like with modifying the contents of a single file, is there a real time / instant solution for deleting a directory?
As you seem to have write access to the original repo, there was no need to fork it. Just clone the repo directly (GitHub will show you appropriate urls at the top of the repo page), remove the folder/file with
git rm, then commit the change, and push to the GitHub remote.