<div dir="ltr">On 19 August 2013 14:32, George Sheppard <span dir="ltr"><<a href="mailto:george@fuzzmonkey.co.uk" target="_blank">george@fuzzmonkey.co.uk</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I normally have 'not ready' or 'do not merge' in the PR title / description then ping people once its actually ready for merging via a github comment or on campfire. I also remove the in progress message, so it tends to be fairly obvious when a PR is ready for merge.<br>
</blockquote><div><br></div><div>I guess this is just a hack around Github's Pull Requests</div><div><br></div><div>If only Github renamed them "Feature Branches"</div><div>and a "pull request" was just a function of the state of the branch.</div>
<div><br></div><div>What we'd want to achieve is</div><div><div><ul><li>A feature branch is created</li><li>We can subscribe to commits on that branch</li><li>We can comment on the state of the branch</li><li>Once its ready to pull, we issue a pull request</li>
<li>We can reject is and revert to state back to "in progress"</li></ul></div></div></div></div></div>