diff options
Diffstat (limited to 'views')
| -rw-r--r-- | views/README.md | 2 | ||||
| -rw-r--r-- | views/default.nix | 2 | ||||
| -rw-r--r-- | views/kit/README.md | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/views/README.md b/views/README.md index 183e70bc5a5d..a6ebd93a7788 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 diff --git a/views/default.nix b/views/default.nix index 3583e4e849de..83c2782719ca 100644 --- a/views/default.nix +++ b/views/default.nix @@ -9,7 +9,7 @@ let }; export-kit = depot.tools.releases.filteredGitPush { - filter = ":workspace=views/kit"; + filter = ":unsign:workspace=views/kit"; remote = "git@github.com:tvlfyi/kit.git"; ref = "refs/heads/canon"; }; diff --git a/views/kit/README.md b/views/kit/README.md index 85c05ed8a1a7..95a38e738260 100644 --- a/views/kit/README.md +++ b/views/kit/README.md @@ -17,7 +17,7 @@ tooling, currently comprising of: It can be accessed via git by cloning it as such: - git clone https://code.tvl.fyi/depot.git:workspace=views/kit.git tvl-kit + git clone https://code.tvl.fyi/depot.git:unsign:workspace=views/kit.git tvl-kit If you are looking at this within the TVL depot, you can see the [josh][] configuration in `workspace.josh`. You will find the projects |