Skip to content

pull on stage after pull on element problem #11

@dankox

Description

@dankox

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    researchadditional research needed

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions