Re: [boost] [GitHub] List open pull requests for all libraries? [resend]

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:
>>>
>>> http://boost.cowic.de/rc/pull_requests.html
>>>
>>> I'll try to do something more functional soon-ish.
>>> <http://lists.boost.org/mailman/listinfo.cgi/boost>
>>>
>>
>> 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.