y
opening a Pull Request against <code>gitgitgadget/git</code>. Head to
<a href="https://github.com/gitgitgadget/git" class="bare">https://github.com/gitgitgadget/git</a> and open a PR either with the "New pull
request" button or the convenient "Compare &amp; pull request" button that may
appear with the name of your newly pushed branch.</p>
</div>
<div class="paragraph">
<p>Review the PR&#8217;s title and description, as it&#8217;s used by GitGitGadget as the cover
letter for your change. When you&#8217;re