diff options
author | sterni <sternenseemann@systemli.org> | 2022-12-02T14·27+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2022-12-02T14·32+0000 |
commit | b9e3db35b2f7520a150208ebe7b6a439cc10aa9a (patch) | |
tree | 5ab336276b1e6d7140da99bbbc255038f42274ad /tvix/docs/language-spec.md | |
parent | 447a75c52451a30bce564de8228fd365435c8d9d (diff) |
fix(sterni/machines/edwin): set default branch for depot r/5372
This fixes cgit's ability to infer the idle time on the repo overview properly. While we're at it, use the proper remote URL, so the redirection warning doesn't clutter the logs. Change-Id: Ie3a75886bdf9c704c18950290b1f7115d0ca0c02 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7496 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/docs/language-spec.md')
0 files changed, 0 insertions, 0 deletions