24 Oct
2017
24 Oct
'17
7:42 a.m.
On Mon, Oct 23, 2017 at 4:07 PM, Peter Dimov via Boost
Beman Dawes wrote:
As a library maintainer, I'd like to get periodic reminders of open pull requests for libraries I maintain and perhaps some other libraries I'm interested in.
I recently learned about the existence of
http://www.boost.org/development/pull_requests.php
but it doesn't e-mail people. :-)
Is there no way for https://github.com/pulls to show requests for all your repos? If not, a feature request to Github would make sense. -- Olaf