-
Notifications
You must be signed in to change notification settings - Fork 1
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
RE2022-209: workspace uploader (working script) #381
Conversation
src/loaders/workspace_downloader/workspace_downloader_helper.py
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just about done, just docs and minor fixes.
@Tianhao-Gu can you take a look as well?
This is a very large number of commits for what is ~70% green field code, so once everything is done and the reviewers are happy I'm thinking that this PR should be closed, and an equivalent PR opened with the same contents but just one commit
src/loaders/workspace_downloader/workspace_downloader_helper.py
Outdated
Show resolved
Hide resolved
src/loaders/workspace_downloader/workspace_downloader_helper.py
Outdated
Show resolved
Hide resolved
src/loaders/workspace_downloader/workspace_downloader_helper.py
Outdated
Show resolved
Hide resolved
This LGTM. @Tianhao-Gu if you approve as well, I'd suggest (like I said before) that this PR should be closed and a new one created with the same contents in a single commit |
Hi @MrCreosote, can we just do squash and merge? It will have the same contents in a single commit on main. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
just a minor change. Other than that looks good to me.
By the way, setting workers other than 5 works for you?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Once Tian approves go head and squash & merge for this one time
@Tianhao-Gu, I just tried a bunch of stuff. 5(default workers count) seems like a magic number. num workers <= 5 works and anything > 5 gets stuck in the middle. This applies to both the uploader and downloader scripts. I currently don't have a solution in mind. It might have something to do with the callback server. We need to consult Shane. |
What actually happens? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
PR looks good to me. We can merge it. workers > 5 is a separate issue. Maybe just create an issue or a ticket to remind us.
Please note that unit tests will be in a separate PR