x/build: mirror the "dl" repo to GitHub

[dmitshur]

Issue #23223 has resulted in the creation of a new repository:

https://go.googlesource.com/dl

That new repository is currently not mirrored to GitHub, hence this is 404:

https://github.com/golang/dl (404)

Is that the result of a conscious decision? Or has the decision not been made yet, and this is a potential follow-up task? /cc @bradfitz @andybons

[bradfitz]

There's just little reason to put it on GitHub as it's auto-generated. I don't expect any PRs to it.

[agnivade]

If it's not an issue, I think its good to mirror it on github to be consistent with other repos. I wanted to take a look at the code one day and was surprised to not find it in github.

#26810 may be one such issue where a PR can be expected.

[rsc]

I'm amused about "It doesn't need to be on GitHub since there won't be any PRs" since until a few months ago all our repos were on GitHub and none of them accepted PRs. :-P

[bradfitz]

My argument was two sentences that were mostly unrelated, but I guess that wasn't obvious.

• There's just little reason to put it on GitHub as it's auto-generated.
• I don't expect any PRs to it.

Bullet 1 is just the code is boring. We can publish boring code, though. Much of it already is. And probably better to not have any snowflake repos.

[dmitshur]

I agree with Brad's arguments, the value added is not very high. However, I think we should do it, for the following 2 reasons:

• Consistency and simplicity. "And probably better to not have any snowflake repos." Exactly. All other Go repos are mirrored, there's no good reason why this one shouldn't be. It's simpler just to mirror all. People won't run into the unexpected situation where one repo isn't mirrored and wonder why.
• It's a good chance for me to practice and learn how to do this. I'm sure we'll have some new repo in the future that we will actively want to mirror, and it'd be great if I can help with doing that.

[bradfitz]

All yours.

[gopherbot]

Change https://golang.org/cl/133896 mentions this issue: maintner/maintnerd, cmd/gerritbot, cmd/gitmirror: add golang/dl to whitelist