diff options
author | Dean Deng <deandeng@google.com> | 2020-10-23 19:24:51 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-10-23 19:29:26 -0700 |
commit | 54d2d927ac9c3ee290d44405a3028307459a49fb (patch) | |
tree | 92afc751be4d823411436057092644ef5ed77349 /website/cmd/server | |
parent | 8dfbec28a47483e0c03a5c94331081d7219f215b (diff) |
Direct gvisor.dev/issues to the same place as gvisor.dev/issue.
Also let the Github bug reviver detect both in TODOs.
PiperOrigin-RevId: 338785089
Diffstat (limited to 'website/cmd/server')
-rw-r--r-- | website/cmd/server/main.go | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/website/cmd/server/main.go b/website/cmd/server/main.go index c401b6abd..85fcbb351 100644 --- a/website/cmd/server/main.go +++ b/website/cmd/server/main.go @@ -29,6 +29,7 @@ var redirects = map[string]string{ // GitHub redirects. "/change": "https://github.com/google/gvisor", "/issue": "https://github.com/google/gvisor/issues", + "/issues": "https://github.com/google/gvisor/issues", "/issue/new": "https://github.com/google/gvisor/issues/new", "/pr": "https://github.com/google/gvisor/pulls", @@ -60,6 +61,7 @@ var redirects = map[string]string{ var prefixHelpers = map[string]string{ "change": "https://github.com/google/gvisor/commit/%s", "issue": "https://github.com/google/gvisor/issues/%s", + "issues": "https://github.com/google/gvisor/issues/%s", "pr": "https://github.com/google/gvisor/pull/%s", // Redirects to compatibility docs. |