This repository was archived by the owner on Sep 3, 2025. It is now read-only.

This repository was archived by the owner on Sep 3, 2025. It is now read-only.

directories cleaning #24

Open

opened

on Jan 15, 2023

It will be convenient to add a command line option that will configure the deletion of temporary directories (like in_prs/ and in_prs_aoi/). For example, we can set a --clean flag for deletion and keep all directories by default.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests