diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-09T14·21+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-09T14·42+0000 |
| commit | eb167c71a779b978a1fd4d6cd29fdf47268c578d (patch) | |
| tree | a0e0a751c1edfed69290849a9af74dd4daeac17f /tvix | |
| parent | 8222b40d66c41bfe5f661c43ed3ed4ddce3f93e6 (diff) | |
fix(ops/code.tvl.fyi): fix josh-proxy cmdline args r/6751
It looks like josh is only listening on v4 currently: https://github.com/josh-project/josh/blob/1586eab06284ce668779c87f00a1fb5fa9763be0/josh-proxy/src/bin/josh-proxy.rs#L1429 Also, the remote URL to push to is (or became) https://cl.tvl.fyi/a, not just https://cl.tvl.fyi/, update it Change-Id: Ic59bc51c28be913d833186c715e9a9eb960bbd6e Reviewed-on: https://cl.tvl.fyi/c/depot/+/9591 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix')
0 files changed, 0 insertions, 0 deletions