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:
>>> 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?
How hard is this page to generate?
Is this something that can be generated on the fly? (instead of every day/hour/request/whatever)?
P.S. Very nice.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk