Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
🤖 I have created a release *beep* *boop* --- ## [0.1.4](v0.1.3...v0.1.4) (2023-08-01) ### Features * more workspace VCS settings ([#545](#545)) ([abfc702](abfc702)) * **ui:** hide functionality from unpriv persons ([#548](#548)) ([fee491f](fee491f)), closes [#540](#540) ### Miscellaneous * downplay legitimate state not found errors ([2d91e31](2d91e31)) * remove demo ([d70c7fd](d70c7fd)) * **ui:** make workspace state tabs look nicer ([bbe38b4](bbe38b4)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
- Loading branch information