OK, that's fine, just wanted to say that if you feel it should be pushed directly, then it is ok to do it.

—
Reply to this email directly or view it on GitHub.