Subject: Re: Tools that do an automatic fetch defeat "git push --force-with-lease"

From: Jakub Narębski <[email-masked]>
Date: Sat, 8 Apr 2017 12:10:10 +0200

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