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

pull on stage after pull on element problem #11

Open
dankox opened this issue Mar 5, 2020 · 0 comments
Open

pull on stage after pull on element problem #11

dankox opened this issue Mar 5, 2020 · 0 comments
Labels
research additional research needed
Milestone

Comments

@dankox
Copy link
Owner

dankox commented Mar 5, 2020

There might be a problem, when you do pull on element which is up in the map and it's grabbed to the remote stage, that after this action you can run regular edo pull.

What this do is, that it will fetch index in checked out stage, and because this element is not there, it might remove it from there.

Not sure if this is resolvable, maybe enhance messages to suggest user after such pull (the first one) to do push to remote repo to checked out stage.
Or maybe during the second pull/fetch, we should do list on elements not included and check if they are up in map or not with this fingerprint.

@dankox dankox added the research additional research needed label Mar 5, 2020
@dankox dankox added this to the version 0.5 milestone Mar 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
research additional research needed
Projects
None yet
Development

No branches or pull requests

1 participant