[lewis1028282]

I don't think Linus can merge from GitHub. Linux requires DCO and it to be reviewed by 2 people (or maybe this is outdated now?)