what porcelain stores, where, and how to delete it

Short version: GitHub stays the source of record. Porcelain keeps a synced copy of repo metadata so agents can fetch it as git refs. Delete a repo and the copy is gone.

what we store

tokens

deletion