diff options
author | Florian Klink <flokli@flokli.de> | 2023-03-30T14·30+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-03-31T08·46+0000 |
commit | e9686f84d9be4aa5adace6ff531ff00558239f75 (patch) | |
tree | 25815b9e62b008b51e4878b51189ae17a5909de5 /views/README.md | |
parent | 113910906330a80385885fea49d57e9daaecabad (diff) |
fix(views/kit): communicate :unsign in the tvl-kit URL directly r/6064
Instead of prepending :unsign to all URLs in josh-proxy, and for all calls to filteredGitPush, explicitly use it only in the filter we use for the `export-kit` extraStep. This means, people cloning tvl-kit via > https://code.tvl.fyi/depot.git:workspace=views/kit.git now need to update the URL to point to > https://code.tvl.fyi/depot.git:unsign:workspace=views/kit.git instead. git@github.com:tvlfyi/kit.git will keep the same hashes, as it's updated to export the unsigned workspace view of it. This is less invasive than dooming every josh workspace to have to strip signatures. Change-Id: I6de05182fad4c3695081388c3bbf37306521d255 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8369 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
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 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 |