You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@spark.apache.org by Henry Saputra <he...@gmail.com> on 2014/02/03 20:24:41 UTC
Not closing the merged PRs anymore from Spark github mirror?
Seems like some merged PRs by Reynold and Patrick did not close the PR
automatically anymore?
- Henry
Re: Not closing the merged PRs anymore from Spark github mirror?
Posted by Henry Saputra <he...@gmail.com>.
Ah thanks for the info, Reynold!
- Henry
On Mon, Feb 3, 2014 at 11:28 AM, Reynold Xin <rx...@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 <he...@gmail.com>wrote:
>
>> Seems like some merged PRs by Reynold and Patrick did not close the PR
>> automatically anymore?
>>
>> - Henry
>>
Re: Not closing the merged PRs anymore from Spark github mirror?
Posted by Reynold Xin <rx...@databricks.com>.
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 <he...@gmail.com>wrote:
> Seems like some merged PRs by Reynold and Patrick did not close the PR
> automatically anymore?
>
> - Henry
>