Another question related to GC: when we delete a repo ... how do you clean up ? GC seems to require a repo name. I guess I can delete the underlying whole folder. Is there anything else to be done ? Does the underlying database need any clean up ?

when a repo gets deleted, the underlying objects remain. You can recursively delete the storage namespace that lakeFS managed. The database itself is deleted when you delete the repo.