Subject: Re: [boost] [GitHub] List open pull requests for all libraries? [resend]
From: Daniel James (dnljms_at_[hidden])
Date: 2014-05-13 17:32:04
On 13 May 2014 22:18, Glen Fernandes <glen.fernandes_at_[hidden]> wrote:
> On Tue, May 13, 2014 at 1:41 PM, Beman Dawes <bdawes_at_[hidden]> wrote:
>> On Tue, May 13, 2014 at 1:38 PM, Daniel James <dnljms_at_[hidden]> wrote:
>>> Here's a proof of concept:
>>> I'll try to do something more functional soon-ish.
>> That's a great start! The one additional piece of information that would be
>> helpful is the date the pull request was submitted.
> Seconded: This is very nice.
> When integrated into boost.org, would this be updated daily or upon
> each pull request submission and merge?
Daily at first. But later I will try to use the events api to update
individual repos more frequently - although there will still be a bit
of a delay.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk