
<html><body><div><br></div><div><br>On Aug 21, 2012, at 09:43 AM, Don Clugston <dclugston@gmail.com> wrote:<br><br><div><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> On the matter of the 100 open pull requests -- I don't have any idea<br> how we can deal with this. More people would help with the issue<br> mentioned in the original post (which is basically that Kenji is a<br> prolific author!), but wouldn't reduce the number of open pull<br> requests in general. It seems to me to be an inevitable consequence of<br> GitHub, where we're using a single list for both 'work in progress'<br> and 'ready for review'.</div></div></blockquote><span> </span><br>On github an issue is automatically created when a pull request is made. Issues can be marked with different flags of different colors. But since we don't use the github issues it makes it harder. An issue with a corresponding pull request is labeled with "Code Attached". Perhaps we can start using github issues but just as a way to label pull requests?<br><br>--<br>/Jacob Carlborg<br></div></div></body></html>