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 :)
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 :)