On Mon, Jul 18, 2016 at 12:27 PM, Benjamin Mahler <[email protected]>
wrote:

> Note that support/push_commits.py will do this for you, I should start
> using it too.. ;)
>

Not yet, unless someone fixes the TODO :)

Reply via email to