[Personal reminder] How to rename a folder (may be useful later, even if not on this project)

Open your github repo. Press the . key on your keyboard to open it with web vs code. Rename [the folder] there. Stage and commit the changes.

This will work better than the other options, as it will do the rename for directories which contain multiple other directories i.e. directories with subdirectories within them.