tree 83f8ed0dfa9c4e90a42e5d0ef6855e515d908792
parent 618173c6c70f670ec8117e8ecc8ad20dd9b7f93a
author Tristan van Berkom <tristan.vanberkom@codethink.co.uk> 1591869252 +0900
committer Tristan van Berkom <tristan.vanberkom@codethink.co.uk> 1591872347 +0900

_stream.py: Remove workspace_is_required()

This API was only used to issue a not very useful message in the CLI
when removing a workspace the user happened to have invoked BuildStream
from.

The API also didn't really make any sense, being documented as:

  "Checks whether the workspace belonging to element_name is
   required to load the project"

This in fact meant whether having that workspace open was required
for BuildStream to be invoked, due to the metadata encoded into the
workspace directory.