[Jenkins-infra] Request for Mirroring Jenkins

[Yuzhi Wang]

Hi there,

The redirection logic is configured as follows
```
        if ($http_user_agent ~ "Mozilla/5.0\ ") {
                return 301 https://$host$request_uri;
        }

        location = / {
                return 301 https://$host$request_uri;
        }
```
That is, http->https redirection only happens if a user is visiting us
using a browser.

Recently we've been hearing from our users requesting for automatic
redirection. 
We re-investigated the case we discussed last time, finding that
mirror-brain directly
redirect users to our https site. 

Therefore, if our URL configured in mirror-brain is the HTTP one,
everything should work.

Cheers,

--
Yuzhi Wang
Ph.D Candidate
Dept. of Electronic Engineering,
Tsinghua University, Beijing, P.R. China

On Thu, Dec 22, 2016, at 09:26, Shanker Wang wrote:
> 
> > 在 2016年12月22日，05:58，Daniel Beck <ml at beckweb.net> 写道：
> > 
> > 
> >> On 21.12.2016, at 17:48, Yuzhi Wang <yuzhi.wang at tuna.tsinghua.edu.cn> wrote:
> >> 
> >> Several months ago we've set a mirror
> >> site for Jenkins. However, as HTTPS is not
> >> fully supported by jenkins,  the redirection was canceled.
> >> 
> >> We still want to be one of the official jenkins mirrors so that Chinese
> >> users can have better access to jenkins.
> > 
> > Jenkins still cannot handle http -> https redirects. Has anything changed since the previous discussion? Your HTTP URLs still forward to HTTPS.
> > 
> 
> That's because a browser is used to visit the HTTP URL. If the http URL
> is visited by something like wget or curl, it won't be redirected. 
> 
> Email had 1 attachment:
> + smime.p7s
>   5k (application/pkcs7-signature)