<div dir="ltr"><div class="gmail_default" style="font-size:small"><br></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Sep 19, 2018 at 3:50 PM Yves Jacolin <<a href="mailto:yjacolin@free.fr">yjacolin@free.fr</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">
    Finally, about pushing some fix in a branch of other contributor: I
    think this shouldn't be done. I see a branch as a personal work and
    pushing a commit, quiet <span id="m_-1680214509407792307result_box" class="m_-1680214509407792307short_text" lang="en"><span>invasive</span></span>. Personally, I
    commit with amend flag then "push force" most of the time in my
    branch.<br></div></blockquote><div><br></div><div><div class="gmail_default" style="font-size:small">As someone who has only used the web interface to contribute to documentation, I would strongly prefer it if reviewers would fix directly in my branch. At least I didn't see any ways on the web to use amend flag to incorporate the proposed changes. It would certainly speed up things.</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Regards,</div><div class="gmail_default" style="font-size:small">Anita</div><br></div><div><br></div></div></div>