diff options
Diffstat (limited to 'views/README.md')
| -rw-r--r-- | views/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/views/README.md b/views/README.md index 183e70bc5a..a6ebd93a77 100644 --- a/views/README.md +++ b/views/README.md @@ -15,7 +15,7 @@ look like: - Commit your changes. This is required, as `josh-filter` operates on your `HEAD`, not working directory state. - Invoke `josh-filter` with the filter expression, - for example `josh-filter ':workspace=views/kit'`. + for example `josh-filter ':workspace=views/tvix'`. - Peek at the synthesized git history by looking at `FILTERED_HEAD`. Testing changes in Gerrit |