From: Jakub Narębski <jnareb@gmail.com>
Date: Sat, 08 Apr 2017 10:10:10 GMT
Subject: Re: Tools that do an automatic fetch defeat "git push --force-with-lease"
Message-ID: <487622bf-00d0-e4fc-4a74-08e18d59336a@gmail.com>
In-Reply-To: <20170408092910.g5wl2ew4cfu7wzft@sigill.intra.peff.net>

W dniu 08.04.2017 o 11:29, Jeff King pisze:
[...]

> Perhaps it would be enough to reset the markers whenever the ref is
> pushed. I haven't thought it through well enough to know whether that
> just hits more corner cases.

I wonder if using a separate remote for pushing (with separate remote-
-tracking branches) would be a good solution for this problem...

-- 
Jakub Narębski