summaryrefslogtreecommitdiffhomepage
path: root/website/cmd/server
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-10-23 19:24:51 -0700
committergVisor bot <gvisor-bot@google.com>2020-10-23 19:29:26 -0700
commit54d2d927ac9c3ee290d44405a3028307459a49fb (patch)
tree92afc751be4d823411436057092644ef5ed77349 /website/cmd/server
parent8dfbec28a47483e0c03a5c94331081d7219f215b (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.go2
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.