+1, yes, please leave a comment letting the developer know that he or she
should re-open the pull request after the changes have been made.
Obviously, use a snippet to save yourselves time ;)
Kind regards,
Nick
> I for one am very very in favor of this. I think it's an appropriate to
> use
> Github's core features to better help you as maintainers organize and keep
> track of things, and it helps set expectation levels for developers
> submitting pull requests.
>
> In short, bravo!
>
> I believe the hardest communication problem that you will need to overcome
> is the conveying that a closed request isn't a rejected request. It will
> be
> important to state when closing a request that it is acceptable, with the
> exception that necessary changes are made.
>
> Thanks for taking a look at this. I appreciate your efforts!
>
> -Chad
>
> Regards,
> Chad Windnagle
> Fight SOPA <
https://www.google.com/landing/takeaction/>
>
>
> On Mon, Oct 8, 2012 at 9:43 PM, Louis Landry <
louis...@gmail.com>
> wrote:
>
>> Hi all,
>>
>> So I've been brainstorming with Ian and Andrew about how to manage the
>> pull request queue and such better. We are trying to find ways to
>> reduce
>> the signal to noise ratio for maintainers, as well as do a better job of
>> communication about intent with the pull requests. Here's what we'd
>> like
>> to try:
>>
>> *Open/Closed*
>>
>> Going forwards we are going to treat open/closed a little differently
>> than
>> we do currently. If a pull request is ready to be reviewed (by
>> maintainers
>> and non-maintainers) it will be left open. If there are changes that
>> need
>> to be made, unit tests that need to be fixed, code style issues to be
>> cleaned up, missing documentation, etc. then comments will be left and
>> the
>> pull request will be closed until the developer has completed the
>> changes.
>> Our expectation is that once the changes have been made developers will
>> re-open the pull request for review.
>>
>> What this effectively does is ensure that at all times we know what is
>> ready to be looked at, and what is still being worked on. It is
>> important
>> to understand that just because we close it doesn't mean that it is
>> rejected, but we are simply saying that it needs some work before it can
>> be
>> considered for further review.
>>
>> *Milestones*
>> *
>> *
>> Because of the change in the way we treat Open/Closed state for pull
>> requests (and for housekeeping purposes) we are also going to be
>> utilizing
>> the issue tracker milestones feature going forward. If we assign a
>> milestone for a pull request you can consider the pull request accepted
>> for
>> the given release (milestone) assuming that we work out all the kinks.
>> If
>> there are changes we'd like made, or test/style fixes than we will
>> assign a
>> milestone and close the issue. Hopefully this will help us track what
>> is
>> being worked on in a given release, what was done in given releases, and
>> communicate better with all of you about if and when we want to include
>> the
>> code you've submitted for review.
>>
>> *Browsing Issues*