diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-06 14:22:22 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-06 14:22:22 -0500 |
commit | 406dc31639f7d69f460c93a8c65ce75cf14fdaaa (patch) | |
tree | e0e73938f9a2796078e89705e0be5e7b72d7ecb1 /mdbook/spec | |
parent | f8290597987d5a36ac359c4ed198cdd435fbb7cb (diff) | |
download | torspec-406dc31639f7d69f460c93a8c65ce75cf14fdaaa.tar.gz torspec-406dc31639f7d69f460c93a8c65ce75cf14fdaaa.zip |
Repair the gettor permalink (and CI)
Diffstat (limited to 'mdbook/spec')
-rw-r--r-- | mdbook/spec/book.toml | 1 | ||||
-rw-r--r-- | mdbook/spec/spec-redirects.yaml | 3 |
2 files changed, 2 insertions, 2 deletions
diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml index 74dd98f..48b9aef 100644 --- a/mdbook/spec/book.toml +++ b/mdbook/spec/book.toml @@ -19,6 +19,7 @@ theme = "../theme" # BEGIN AUTO-GENERATED REDIRECTS "/collector-protocol.html" = "https://gitlab.torproject.org/tpo/network-health/metrics/collector/-/blob/master/src/main/resources/docs/PROTOCOL?ref_type=heads" +"/gettor-spec.html" = "https://gitlab.torproject.org/tpo/core/torspec/-/raw/main/attic/text_formats/gettor-spec.txt?ref_type=heads" "/rend-spec-v2.html" = "https://gitlab.torproject.org/tpo/core/torspec/-/blob/main/attic/rend-spec-v2.txt?ref_type=heads" "/rend-spec-v3.html" = "https://spec.torproject.org/rend-spec" "/tor-fw-helper-spec.html" = "https://gitlab.torproject.org/tpo/core/torspec/-/blob/main/attic/tor-fw-helper-spec.txt?ref_type=heads" diff --git a/mdbook/spec/spec-redirects.yaml b/mdbook/spec/spec-redirects.yaml index 567b1db..456d464 100644 --- a/mdbook/spec/spec-redirects.yaml +++ b/mdbook/spec/spec-redirects.yaml @@ -45,9 +45,8 @@ redirects: description: Extended ORPort for pluggable transports implicit: yes 'gettor-spec': - target: https://spec.torproject.org/gettor-spec + target: https://gitlab.torproject.org/tpo/core/torspec/-/raw/main/attic/text_formats/gettor-spec.txt?ref_type=heads description: GetTor specification - implicit: yes 'padding-spec': target: https://spec.torproject.org/padding-spec description: Tor Padding Specification |