maintner/maintnerd, cmd/gerritbot, cmd/gitmirror: add golang/dl to whitelist

In golang/go#23223, we've created a new subrepository:

	https://go.googlesource.com/dl

Unlike other subrepositories, there isn't a mirror on GitHub yet:

	https://github.com/golang/dl (404 at this moment)

We want to include it in the whitelist for mirroring to GitHub,
including mirroring its pull requests to Gerrit. The motivation is to
make this subrepository consistent with all others and prevent people
from running into an unexpected situation when some repos are mirrored
but some aren't.

We don't actually expect much contribution activity to the dl subrepo,
because it's very narrow in scope and mostly generated code.

Updates golang/go#26949.

Change-Id: Id995bb3d97b8eb328e6c6bba6714bc74fbefb942
Reviewed-on: https://go-review.googlesource.com/133896
Reviewed-by: Andrew Bonventre <[email protected]>

Author: dmitshur

cmd/gerritbot/gerritbot.go

@@ -194,6 +194,7 @@ var gerritProjectWhitelist = map[string]bool{
 	"build":          true,
 	"crypto":         true,
 	"debug":          true,
+	"dl":             true,
 	"example":        true,
 	"exp":            true,
 	"gddo":           true,

cmd/gitmirror/gitmirror.go

@@ -230,7 +230,13 @@ func runGitMirror() error {
 				// Repo already picked up by dashboard list.
 				continue
 			}
-			go startRepo(name, "golang.org/x/"+name, false)
+			path := "golang.org/x/" + name
+			if name == "dl" {
+				// This subrepo is different from others in that
+				// it doesn't use the /x/ path element.
+				path = "golang.org/" + name
+			}
+			go startRepo(name, path, false)
 		}
 	}
 
@@ -274,6 +280,7 @@ func shouldMirror(name string) bool {
 		"build",
 		"crypto",
 		"debug",
+		"dl",
 		"example",
 		"exp",
 		"gddo",

maintner/maintnerd/maintnerd.go

@@ -309,6 +309,7 @@ var goGitHubProjects = []string{
 	"golang/build",
 	"golang/crypto",
 	"golang/debug",
+	"golang/dl",
 	"golang/example",
 	"golang/exp",
 	"golang/gddo",