
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>But two things are confusing. I only pushed the 'lists' branch,

      not the 'assert' branch, yet both revisions are up on GitHub. I

      suppose I should be careful and say that if I pushed 'assert', I

      don't know how I did it.</p>

    <p>Also, if you check the dates on the changed lines in the various

      files, they are dated April 5 for 'lists' and April 1 for

      'assert'. But I amended the commit on the 'lists' branch today and

      then pushed it.<br>

    </p>

    <div class="moz-cite-prefix">On 4/8/2021 1:00 PM, David Lloyd wrote:<br>

    </div>

    <blockquote type="cite"

cite="mid:CANghgrTPMqKKmFcLNHF-zFxs5+2f==-jJ5hxx4iEODMbpFS8eA@mail.gmail.com">

      <meta http-equiv="content-type" content="text/html; charset=UTF-8">

      <div dir="ltr">

        <div class="gmail_default"

          style="font-family:arial,helvetica,sans-serif">Branches are

          just a pointer to a commit ID.  This just means that your

          local `main`, `lists`, and `assert` branches all point to the

          same commit ID, which is OK.  Pushing one does not push the

          others.  When you push a branch e.g. `lists` via `git push

          origin lists`, what you are doing is telling the remote server

          "create or change the branch (pointer) on your end called

          `lists` to refer to the same commit ID as my local branch

          `lists`".  It also pushes the commits to the server (but this

          is strictly additive - nothing is lost by this action).  No

          other remote branches would be affected by this action.</div>

        <div class="gmail_default"

          style="font-family:arial,helvetica,sans-serif"><br>

        </div>

        <div class="gmail_default"

          style="font-family:arial,helvetica,sans-serif">It's also

          possible to push a local branch to a remote branch with a

          different name; e.g. `git push origin foo:bar` makes a branch

          called `bar` on the remote side with the same commit ID as the

          branch called `foo` on the local side.</div>

        <div class="gmail_default"

          style="font-family:arial,helvetica,sans-serif"><br>

        </div>

        <div class="gmail_default"

          style="font-family:arial,helvetica,sans-serif">Overall I don't

          think you've broken anything, it's just that the log output is

          not completely intuitive.  It's just listing all the branch

          names that it knows of which happen to point to the

          corresponding commit ID in the log.</div>

      </div>

    </blockquote>

    <br>

  </body>

</html>