Testing a bug in Github which doesn't convert Unicode characters in the domain to punycode