• Tristan Van Berkom's avatar
    element.py: Fix force opening of workspaces. · 4fc2da9a
    Tristan Van Berkom authored
    This was broken because we let the Source objects initialize workspaces
    directly in the target workspace directory, where files might already
    Instead, initialize the workspace in a tempdir and hardlink the files
    from there.
    This fixes issue #364
element.py 91.1 KB