Deleted files are still served?

8

Still a problem.

This means that a variety of site changes can never be made.

They are probably keying off the repo name so that only starting a new, differently named repo could fix it.

Unless the problem is even deeper.