Skip to content
This repository was archived by the owner on Sep 11, 2020. It is now read-only.
This repository was archived by the owner on Sep 11, 2020. It is now read-only.

Need a way to delete a repository #193

@sbenthall

Description

@sbenthall

Is there a way to delete a Repository?

When a Repository is loaded into memory, it would be nice if there was a way to remove it from memory without waiting first for garbage collection.

When a Repository is loaded into the filesystem, it would be nice if there was a way to remove it from the filesystem programmatically.

If there is a way to do this, I haven't been able to find it in the documentation.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions