[tox-dev] Re: Pushed an unnecessary merge commit