You can merge it and you can directly push the commits to websocket module, without doing push requests -- guess @pdunkley is ok with that.

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