Today's github tip - fixing local master

[Walter Bright]

On 6/18/2013 2:10 PM, Jacob Carlborg wrote:
> On 2013-06-18 23:04, David Nadlinger wrote:
>
>> This is exactly the point. Walter had pushed commits to WalterBright/dmd
>> at GitHub that didn't make it to D-Programming-Language/dmd.
>
> Then he should have pushed them to upstream as well.

No, the procedure is never push to upstream, do P.R.'s.