> BTW
>
> git checkout fix_include_order
> -> did not match any file(s) known to git
>
> so I did a
> git checkout -b fix-include-order
> which seemed to work.
>
> Hints for the unenlightened?


That means you made a local branch of that name but you don't have the updates.
Can you do

git fetch
git branch -a

?


You are receiving this because you commented.
Reply to this email directly, view it on GitHub, or unsubscribe.