e integrator to keep a separate copy of the tag in his
repository (i.e. <code>git tag -l</code> won&#8217;t list the <code>frotz-for-xyzzy</code> tag in the
above example), and there is no need to publish the tag to his public
repository, either.</p>
</div>
<div class="paragraph">
<p>After the integrator responds to the pull request and her work becomes
part of the permanent history, the contributor can remove the tag from
her public repository, if she chooses, in order to keep the tag namespace
of