Not sure what you mean by smaller. This thread isn't meant as a side-channel for patch submission, it's a JFYI.
I'm very well aware of the standard GitHub PR process.
Not sure what you mean by smaller. This thread isn't meant as a side-channel for patch submission, it's a JFYI.