diff options
| -rw-r--r-- | ops/modules/josh.nix | 2 | ||||
| -rw-r--r-- | tools/releases/default.nix | 4 | ||||
| -rw-r--r-- | views/README.md | 2 | ||||
| -rw-r--r-- | views/default.nix | 2 | ||||
| -rw-r--r-- | views/kit/README.md | 2 |
5 files changed, 6 insertions, 6 deletions
diff --git a/ops/modules/josh.nix b/ops/modules/josh.nix index c7256259d4..4591ebf0f0 100644 --- a/ops/modules/josh.nix +++ b/ops/modules/josh.nix @@ -26,7 +26,7 @@ in DynamicUser = true; StateDirectory = "josh"; Restart = "always"; - ExecStart = "${depot.third_party.josh}/bin/josh-proxy --no-background --local /var/lib/josh --port ${toString cfg.port} --remote https://cl.tvl.fyi/ --require-auth --filter-prefix ':unsign'"; + ExecStart = "${depot.third_party.josh}/bin/josh-proxy --no-background --local /var/lib/josh --port ${toString cfg.port} --remote https://cl.tvl.fyi/ --require-auth"; }; }; }; diff --git a/tools/releases/default.nix b/tools/releases/default.nix index aedf396aee..d38ca0b5d8 100644 --- a/tools/releases/default.nix +++ b/tools/releases/default.nix @@ -19,8 +19,8 @@ in set -e export PATH="${makeBinPath [ pkgs.git depot.third_party.josh ]}:$PATH" - echo 'Filtering depot through :unsign ${filter}' - josh-filter ':unsign ${filter}' + echo 'Filtering depot through ${filter}' + josh-filter '${filter}' echo 'Fetching remote to check if a push is needed' git fetch '${remote}' '${ref}' 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 diff --git a/views/default.nix b/views/default.nix index 3583e4e849..83c2782719 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 85c05ed8a1..95a38e7382 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 |