Repo incorrectly deleted

[elharo]

Could you please revert the deletion of source code? This code is still in production and the repo should exist and be public.

Once that's no longer true it should be archived, not deleted. See https://g3doc.corp.google.com/company/teams/opensource/github/management.md?cl=head for the relevant procedures.