Turns out you don't need to extract a ZIP file to rename a directory inside it. I'm adding GitHub sync to the Update Pilot Server and it will handle this automatically. One nuance is that you have to move all entries that are under that directory individually.