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:57:44 GMT
Another option to solve the problem is to migrate the reef repo to gitbox.
I like gitbox since gitbox does bidirectional sync ups. We don't need to
interact with apache git. All PR handlings can be done in github.



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

> 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
>



-- 
Byung-Gon Chun

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