<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><br>
    </p>
    <br>
    <div class="moz-cite-prefix">Le 20/09/2018 à 09:40, Anita Graser a
      écrit :<br>
    </div>
    <blockquote type="cite"
cite="mid:CAFFV8Fg8NPqC0GY6JVnCw5dkJGWwV+2W485A1twWG164yGR2OQ@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=utf-8">
      <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" moz-do-not-send="true">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>
        </div>
      </div>
    </blockquote>
    <div class="gmail_quote">
      <div>
        <div class="gmail_default" style="font-size:small">Anita,<br>
          <br>
          You can do with the web interface but when you merge the PR. I
          added a screenshot. Squashing commit is a good practice to
          have a clean commit list.<br>
          <br>
          Y.<br>
        </div>
      </div>
    </div>
    <pre class="moz-signature" cols="72">-- 
<a class="moz-txt-link-freetext" href="http://yjacolin.gloobe.org">http://yjacolin.gloobe.org</a></pre>
  </body>
</html>