• Martin Atkins's avatar
    command + backend: rename various API objects to "Workspace" terminology · 418a8a8b
    Martin Atkins authored
    We're shifting terminology from "environment" to "workspace". This takes
    care of some of the main internal API surface that was using the old
    terminology, though is not intended to be entirely comprehensive and is
    mainly just to minimize the amount of confusion for maintainers as we
    continue moving towards eliminating the old terminology.
    418a8a8b