I doubt it was an accident, it's trivial to delete a repo on GitHub. I think they wanted their involvement (git commit history) removed from the primary repo.