(Hopefully) restored everything that was deleted

Please use only the GitHub application to use the repository. Also,
please do not access the server without first verifying that your code
is not out of date.