-
Notifications
You must be signed in to change notification settings - Fork 39
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
Update for current release of desktop server #4135
Conversation
BTW, this is not urgent at all - yesterday's big update was all we needed for now, and this is more of a cleanup so we're up to date with the current tools. |
@fperez also curious if we should update |
No, we actually don't need that file at all - I'm cleaning up that other repo just now, hang tight :) |
word. :) |
All set @shaneknapp! Sorry for the slight delay, had a weird issue with getting the env to build locally (I double check that it works :) and it took a bit to sort out. All set! |
hey @fperez there are a few conflicts, so please take a look and let me know when they're done! |
All conflicts fixed - they happened b/c folks were working on the files for this hub instead of a separate d100 one - in the future please LMK if you intend to work on these files so we can coordinate to avoid conflicts. I figured I'd be updating this folder alone :) |
the conflicts happened as we were trying to get data100 unblocked w/otter-grader. since we now have a separate data100 image, you'll be the only one (hopefully!) hacking on this folder moving forward. :) |
Yup! This looks good to merge - I start teaching tomorrow, so if you have a chance to merge it, I'd appreciate it! |
Great, thanks!! |
As per @yuvipanda's input.