# Homepage
server {
	server_name jodersky.ch odersky.com www.odersky.com crashbox.io www.crashbox.io;
	listen 80;
	listen 443;

	return 301 https://www.jodersky.ch$request_uri;
}