@bjb @suprjami interesting view - you're right about which one's malicious but not right about why... sort of
the first URL has an @ symbol in it before the v1271[dot]zip. the @ symbol in a URL is actually a separater between user and URL (you could have "username:
[email protected]") so the first one tries to log in as "https://github.com/....." at (@) v1271[dot]zip - so in actual fact the website you're going to is v1271[dot]zip, not github at all.
what you say about the slashes is interesting though, as whatever is styling the URL is almost helping highlight the problem. the correct link is completely a link, so all slashes are styled the the same, but the malicious link isn't completely a link so some slashes are styled differently to the actual link ones.
man this is hard to explain, I know you're fairly techy so I skipped some explanation, but try explaining that to a regular person!
Edit: removed dots in URLs to prevent unintended visits.
also sorry, didn't realise this comment was a month old... you probably know all this by now