On Sun, Apr 9, 2017 at 11:55 AM, Simon Ruderich <simon@xxxxxxxxxxxx> wrote: > Hello, > > I like the documentation update and test. > > On Sat, Apr 08, 2017 at 11:41:00AM +0000, Ævar Arnfjörð Bjarmason wrote: >> [snip] >> >> ++ >> +Now when the background process runs `git fetch origin` the references >> +on `origin-push` won't be updated, and thus commands like: >> ++ >> + git push --force-with-lease origin > > I think this should be origin-push. Thanks! Well spotted. Will fix in v2 which I'll hold off on sending for now pending more comments. > Regards > Simon > -- > + privacy is necessary > + using gnupg http://gnupg.org > + public key id: 0x92FEFDB7E44C32F9