As a rule of thumb when i’s a simple PR like this one you can directly submit it on github. When it’s a big change with a big feature implemented it’s best to talk about it here first (not posting the code, but discussing the design etc…)
So you can submit your PR on github.
It’s not necessary, but if you want to go ahead.
Also as a side note, there is a proper way to post code on this forum.