Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove branch from workspace status script (#78)
we are not using it and it fails in GitHub workflows Change-Id: I6308dd5b7090f7ddea48921eab4b1d9b4278736c
- Loading branch information