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.

Sign up for GitHub

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

Jump to bottom

Cover case of a failed checkout #1

Open

meanrin wants to merge 4 commits into main from fix-failed-checkout

Owner

meanrin commented Apr 12, 2022

Fix case where repo might gone private, or commit removed from the history

if move_files encountered empty repo directory, this directory would be skipped with a message
related meta file would be removed, so mismatch between meta and real files would not have an affect later on
if checkout process failed - repo will be removed, so move_files would also skip it

meanrin added 4 commits

April 12, 2022 10:36


          Cover case of a failed checkout

98e0338


          Move is_empty check up to fix re-runs

f513a03


          Change assert with error to just a message

abb49c6


          Fix typo in download_data.py log message

6dc40ec

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

Labels

None yet