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

feat(core): use existing remote image when starting sessions #2991

Merged
merged 2 commits into from Jul 5, 2022

Conversation

m-alisafaee
Copy link
Contributor

Description

#2880 already pulls a remote image if it exists when a local image is not found. However, it wasn't clear that it's doing this. This PR adds proper progress messages. It also solves some issues with stoping sessions and for cases where a session is starting/stoping/... for projects with no remote.

It also renames session list to session ls to be consistent with other commands.

Fixes #2934

@m-alisafaee m-alisafaee force-pushed the 2934-use-existing-image-for-sessions branch from 354dec3 to 7911719 Compare July 5, 2022 04:31
@m-alisafaee m-alisafaee marked this pull request as ready for review July 5, 2022 06:57
@m-alisafaee m-alisafaee requested a review from a team as a code owner July 5, 2022 06:57
Copy link
Member

@Panaetius Panaetius left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well, I went through this two times and still can't find anything to nitpick... Well done!

Let me know if there's some further changes needed to address #2939 , otherwise ready to merge 🚀

@m-alisafaee
Copy link
Contributor Author

Let me know if there's some further changes needed to address #2939 , otherwise ready to merge 🚀

I've checked that issue and it seems that it's fixed by this PR. I wrote a comment there but left it open so that Laura can check it.

@m-alisafaee m-alisafaee merged commit b09805c into develop Jul 5, 2022
@m-alisafaee m-alisafaee deleted the 2934-use-existing-image-for-sessions branch July 5, 2022 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

feat: use existing remote image on local session launch
2 participants