Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow removal of clone after push #37

Open
hobti01 opened this issue Sep 2, 2020 · 2 comments
Open

Allow removal of clone after push #37

hobti01 opened this issue Sep 2, 2020 · 2 comments
Assignees
Labels
easy Things that should be easy to implement enhancement

Comments

@hobti01
Copy link

hobti01 commented Sep 2, 2020

This is a nice tool but unfortunately we have some disk constraints when mirroring many repositories. Many of them use LFS and we run out of disk space during a mirroring of just a few repos.

We are running within a container and not persisting the directories in any case.

Unfortunately, I'm not confident enough in Rust to submit a pull request, but it would be great to have a flag to delete each checked out repository after push is complete.

@bachp
Copy link
Owner

bachp commented Sep 17, 2020

I think that should be quite easy to implement.

Would a globale command line switch be ok or do you need to control this per repo?

@bachp bachp added easy Things that should be easy to implement enhancement labels Sep 17, 2020
@bachp bachp self-assigned this Sep 17, 2020
@hobti01
Copy link
Author

hobti01 commented Sep 18, 2020 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
easy Things that should be easy to implement enhancement
Projects
None yet
Development

No branches or pull requests

2 participants