spark-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Henry Saputra <henry.sapu...@gmail.com>
Subject Re: Not closing the merged PRs anymore from Spark github mirror?
Date Mon, 03 Feb 2014 19:31:38 GMT
Ah thanks for the info, Reynold!

- Henry

On Mon, Feb 3, 2014 at 11:28 AM, Reynold Xin <rxin@databricks.com> wrote:
> It was a transient thing. There's a script that we are using to
> automatically fetch diffs from a PR and apply the diff against the git
> repo. Patrick changed the way it works last week, and a regression there
> was PRs are no longer closed automatically.
>
> I believe he has fixed it. Patrick will also write an email about the
> details of that script soon.
>
>
>
>
>
> On Mon, Feb 3, 2014 at 11:24 AM, Henry Saputra <henry.saputra@gmail.com>wrote:
>
>> Seems like some merged PRs by Reynold and Patrick did not close the PR
>> automatically anymore?
>>
>> - Henry
>>

Mime
View raw message