cli: change workspace@ symbol color to green (the color of HEAD@git)
#9144
The logs for this run have expired and are no longer available.
Loading