Push
----
  git push origin HEAD:master

from local to remote repository

* more precisely: from a local to a remote branch

[graphviz]
----
digraph {
  // commit graph left
  node [style=bold, shape=circle, color="#385d8a", fontname=arial, fontsize=18]
  edge [style=bold, color="#385d8a", arrowhead=none]
  C -> B [weight=0]
  B -> A

  // branch pointers
  edge [arrowhead=normal]
  node [shape=box, style=filled, fillcolor=lightgrey, color=black]
  HEAD [fillcolor="#555555", fontcolor=white]
  master [label="origin/master", fillcolor=lightskyblue]
  { rank=same; HEAD; feature; C}
  feature -> C [weight=0]
  HEAD -> feature [weight=0]

  { rank=same; master; B}
  master -> B [weight=0]

  // graph name
  local [label="local repo", style=none, color=none]
  A -> local [style=invis]

  // formatting: Add invisible node to have the feature branch in an
  // own column
  { rank=same; A; I}
  I [style=invis]
  C -> I [style=invis]

  // commit graph right
  node [style=bold, shape=circle, color="#385d8a", fontname=arial, fontsize=18]
  edge [style=bold, color="#385d8a", arrowhead=none]
  A1 [label="A"]
  B1 [label="B"]
  B1 -> A1

  // branch pointers
  edge [arrowhead=normal]
  node [shape=box, style=filled, fillcolor=lightgrey, color=black]
  master1 [label="master"]
  { rank=same; master1; B1}
  master1 -> B1 [weight=0]

  // graph name
  remote [label="remote 'origin' repo", style=none, color=none]
  A1 -> remote [style=invis]

  // align left and right graph
  { rank=same; A; A1}

  // spacing in between the left and right graph
  { rank=same; master; space}
  space [style=invis, label="some space here"]
  space -> master [style=invis, weight=0]
}
----

Push
----
  git push origin HEAD:master

from local to remote repository

* more precisely: from a local to a remote branch

[graphviz]
----
digraph {
  // commit graph left
  node [style=bold, shape=circle, color="#385d8a", fontname=arial, fontsize=18]
  edge [style=bold, color="#385d8a", arrowhead=none]
  C -> B [weight=0]
  B -> A

  // branch pointers
  edge [arrowhead=normal]
  node [shape=box, style=filled, fillcolor=lightgrey, color=black]
  HEAD [fillcolor="#555555", fontcolor=white]
  master [label="origin/master", fillcolor=lightskyblue]

  { rank=same; HEAD; feature; C}
  feature -> C [weight=0]
  HEAD -> feature [weight=0]

  { rank=same; master; B }
  master -> B [weight=0]

  // graph name
  local [label="local repo", style=none, color=none]
  A -> local [style=invis]

  // formatting: Add invisible node to have the feature branch in an
  // own column
  { rank=same; A; I }
  I [style=invis]
  C -> I [style=invis]

  // the "push" arrow
  node [style=invis]
  L -> R [label="push", style=dotted, penwidth=2, arrowhead=vee,
          color=red, fontname=arial, fontsize=30]

  // commit graph right
  node [style=bold, shape=circle, color="#385d8a", fontname=arial, fontsize=18]
  edge [style=bold, color="#385d8a", arrowhead=none]
  A1 [label="A"]
  B1 [label="B"]
  C1 [label="C"]
  C1 -> B1 -> A1

  // branch pointers
  edge [arrowhead=normal]
  node [shape=box, style=filled, fillcolor=lightgrey, color=black]
  master1 [label="master", color=red, fontcolor=red]
  { rank=same; master1; C1 }
  master1 -> C1 [weight=0, color=red]
  masterold1 [label="master", style=dashed, color=grey, fontcolor=grey]
  { rank=same; masterold1; B1 }
  masterold1 -> B1 [weight=0, style=dashed, color=grey]

  // graph name
  remote [label="remote 'origin' repo", shape=box, style=none, color=none]
  A1 -> remote [style=invis]

  // align left, right and arrow graph
  { rank=same; A; A1; L; R }

  // spacing in between the left and right graph
  node [style=invis, shape=box]
  edge [style=invis]
  { rank=same; master; space}
  space [label="some space here"]
  space -> master [weight=0]

  { rank=same; HEAD; space2 }
  space2 [label="spaace"]
  space2 -> HEAD [weight=0]
}
----