[oi-dev] Faulty PR initiated for oi-userland

[Alexander Pyhalov]

On 04/ 5/17 12:37 AM, Gary Mills wrote:
> I see that I somehow created a PR for oi-userland that contains three
> commits.  I only wanted the third one to be included, the one for:
>
>     8028 Some component Makefiles only need a PATH symbol change
>
> How can I correct this mistake?  The first two are just local changes
> that should not appear on Github.
>
>

Hi.
Make necessary changes in local branch and force push them (git push -f).

-- 
Best regards,
Alexander Pyhalov,
system administrator of Southern Federal University IT department