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

On May 13, 2014, at 3:18 PM, Glen Fernandes wrote:

On Tue, May 13, 2014 at 1:41 PM, Beman Dawes wrote:

...

On Tue, May 13, 2014 at 1:38 PM, Daniel James 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.