Hacker News new | ask | show | jobs
by rumblefrog 428 days ago
Isn't the Github repo a mirror?
1 comments
chedabob 428 days ago
Yeah the commit messages suggest all the heavy-lifting was done on kernel.org's server. It's just matched his GH user to the email in the commit.
link