This repository was archived by the owner on Nov 11, 2022. It is now read-only.
This repository was archived by the owner on Nov 11, 2022. It is now read-only.
Repo incorrectly deleted #646
Open
Description
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.
Metadata
Metadata
Assignees
Labels
No labels