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

Subject: Re: [boost] [GitHub] List open pull requests for all libraries? [resend]
From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2014-05-13 17:26:36

On May 13, 2014, at 3:18 PM, 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?

How hard is this page to generate?
Is this something that can be generated “on the fly”? (instead of every day/hour/request/whatever)?

— Marshall

P.S.	Very nice.