reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Andrew Chung <afchun...@gmail.com>
Subject Re: PR is not closed after merging
Date Tue, 19 Jan 2016 07:31:48 GMT
Hi Yunseong,

I've made the same mistake before and I was advised to simply ask for the
PR to be closed. In this case, I'll close my own PR :).

Thanks,
Andrew

On Mon, Jan 18, 2016 at 10:39 PM, Yunseong Lee <yunseong.lee0@gmail.com>
wrote:

> Hi all,
>
> I merged https://github.com/apache/reef/pull/768 to the master, but I
> accidentally missed to add 'This closes', which has made the PR still open.
>
> Does anybody know how I can fix this mistake?
>
>
> Sorry for the inconvenience.
>
> Best regards,
> Yunseong
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message