reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <>
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 <> wrote:
> Is 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.


View raw message