[dmd-internals] To consume pull requests for trivial bugs
dclugston at gmail.com
Tue Aug 21 01:24:53 PDT 2012
On 21 August 2012 10:06, Jonathan M Davis <jmdavisProg at gmx.com> wrote:
> On Tuesday, August 21, 2012 09:43:52 Don Clugston wrote:
>> As far as I can tell, you can't even get the single most
>> important piece of information: which pull requests have I made (for
>> all projects), and how many are still open?
> You can easily get at the list of pull requests that you currently have open
> across all projects on github by clicking on "Pull Requests" on the main page.
> You can also get the list of _all_ of the pull requests that have been closed
> (be it because they were merged or just closed) by clicking on the "Closed"
> button on that pull requests page.
> - Jonathan M Davis
I don't see it. The only time I see the 'pull requests' button is for
an individual project, and that is "requests received" rather than
What do you mean by the "main page"? Could you give me a URL of a page
where it is visible?
More information about the dmd-internals