<blockquote>
<p>(I managed to push the branch by accident to Geany repo - I deleted it immediately after realizing it.)</p>
</blockquote>

<p>If you want to avoid accidental push, you can make the <code>origin</code> read-only (e.g. <code>git://</code>), and have a different remote for actually pushing.  That's what I have for GP for example.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1146#issuecomment-234664125">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ8OsUORYMwvikM38I_bCk0Da7HlOks5qYTkqgaJpZM4JS-lH">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ-U9pr1lCikgFHfCVZVYPcrkAKguks5qYTkqgaJpZM4JS-lH.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1146#issuecomment-234664125"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>