t class="hdlist1"><a id="def_push"></a>push</dt>
<dd>
<p>Pushing a <a href="#def_branch">branch</a> means to get the branch&#8217;s
<a href="#def_head_ref">head ref</a> from a remote <a href="#def_repository">repository</a>,
find out if it is an ancestor to the branch&#8217;s local
head ref, and in that case, putting all
objects, which are <a href="#def_reachable">reachable</a> from the local
head ref, and which are missing from the remote
repository, into the remote
<a href="#def_object_database">object da