reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Byung-Gon Chun <bgc...@gmail.com>
Subject Re: Closing stale pull requests
Date Wed, 25 Apr 2018 22:10:41 GMT
Hi Markus,

Is ClosedPullRequests.md for tracking stale pull requests closed in the
reef commit history?

Thanks.
-Gon


On Thu, Apr 26, 2018 at 5:30 AM, Markus Weimer <markus@weimo.de> wrote:

> Hi,
>
> I just pushed commit `aa30e7fec2f4d771dc48bd87048333fa2f4b0b16`, which
> adds a new file `dev/ClosedPullRequests.md`. In that, I have noted the
> (presumably) stale pull requests the same commit closes. I think this
> could be a nice way of dealing with those. WDYT?
>
> Thanks,
>
> Markus
>



-- 
Byung-Gon Chun

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