From: Jeff King <peff@peff.net>
Date: Sun, 15 May 2016 21:23:32 GMT
Subject: Re: git push --quiet option does not seem to work
Message-ID: <20160515212332.GB31809@sigill.intra.peff.net>
In-Reply-To: <CADKp0pwrKzHG7KVSMH+6OHuv9sKXTcKSsdKMEZ_fFdjWT+kW6g@mail.gmail.com>

On Sun, May 15, 2016 at 04:29:36PM -0400, Chris B wrote:

> Try it by making some changes to files and committing them, and then push.
> It works fine for me when there is nothing to actually push, but not
> so when there are commits to push.

In my example there were commits to push.

As you noted, my test was on Linux, so it's certainly possible that it's
Windows-specific. What protocol are you pushing over (e.g., http follows
a very different code path for progress)?

-Peff