gt;</code>. GitGitGadget
will automatically run your PRs through the CI even without the permission given
but you will not be able to <code>/submit</code> your changes until someone allows you to
use the tool.</p>
</div>
<div class="paragraph">
<p>If the CI fails, you can update your changes with <code>git rebase -i</code> and push your
branch again:</p>
</div>
<div class="listingblock">
<div class="content">
<pre>$ git push -f remotename psuh</pre>
</div>
</div>
<div class="paragraph">
<p>In fact, you shou