Actually, it's more likely that it's: 2b) Someone is using GitHub trickery to display a commit in another repo as belonging to that repo (see other comments),

Actually, it's more likely that it's: 2b) Someone is using GitHub trickery to display a commit in another repo as belonging to that repo (see other comments), without actually compromising any accounts. 4) Linus decided on a funny name for the release.