daniel:// stenberg://May 12, 2025

We have a CI job to spot unwanted utf8 letters in #curl PRs as we have noticed that GitHub will gladly show the for example (identical) Cyrillic version of a letter next to the Latin version in a diff and it is yes, entirely impossible for a human to spot the diff. I mean the diff is shown, but the significance of it is not.

Changing just a single letter like that in a URL hostname opens up for a world of grief.

Show threadElric
@bagder Is that CI job public? Sounds like a lot of projects could benefit from that.
May 12, 2025 at 11:58amWeb
Show threadRafaelMay 12, 2025

@elricofmelnibone @bagder

It's the spacecheck.pl script in the curl repo:

https://github.com/curl/curl/blob/master/.github/scripts/spacecheck.pl

curl/.github/scripts/spacecheck.pl at master · curl/curl

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP...

GitHub