reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <mar...@weimo.de>
Subject Re: Closing stale pull requests
Date Wed, 25 Apr 2018 22:23:43 GMT
On Wed, Apr 25, 2018 at 3:10 PM, Byung-Gon Chun <bgchun@gmail.com> wrote:
> Is ClosedPullRequests.md for tracking stale pull requests closed in the
> reef commit history?

Yes, that is the idea. We can only close PRs via commits. And commits
require a code change. Editing this one file allows us to have a
change in to make a commit.

Markus

Mime
View raw message