On 20 Mar 2017, at 05:30, Neels Hofmeyr nhofmeyr@sysmocom.de wrote:
Has someone made osmocom.org login redirect to projects.osmocom.org? Because since recently I observe this:
I go to osmocom.org, click on "Sign in". It *redirects* me to projects.osmocom.org/login. I log in.
hmm... I did this https://osmocom.org/issues/1728 could you try with curl -v?
If redirecting to projects.o.o is intentional and the way to go (TM), I should probably pre-empt problems for existing users by creating external ids with 'projects' in the openid url, pointing at the proper existing users.
Otherwise we should avoid magical forwarding of osmocom.org logins to projects.osmocom.org.
No. that is not intended. I tried to block opening /login as http though. So maybe $server_name in nginx doesn't work as it should(tm).
$ curl -v http://osmocom.org/login/ 2>&1 | grep Location < Location: https://projects.osmocom.org/login/
I changed $server_name to $host. It looks better?
holger