ist arabic">
<ol class="arabic">
<li>
<p>the version of the integrator&#8217;s commit the contributor based her work on;</p>
</li>
<li>
<p>the URL of the repository, to which the contributor has pushed what she
wants to get pulled; and</p>
</li>
<li>
<p>the name of the tag the contributor wants to get pulled (earlier, she could
write only a branch name here).</p>
</li>
</ol>
</div>
<div class="paragraph">
<p>The resulting msg.txt file begins like so:</p>
</div>
<div class="listingblock">
