Subject: Re: [boost] [GitHub] List open pull requests for all libraries? [resend]
From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2014-05-13 17:18:43
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?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk