- I first created a branch, let's call it
base
. - I pushed that branch to the remote.
- I then realized that
base
was too big, and wanted to extract some stuff into its own branch/PR. - I created
small
offbase
. - Pushed
small
to remote - I then basically removed a whole directory from
base
. - Pushed the new
base
- Went to create a new PR from
small
tobase
on github
To my surprise, github says there's no difference, that small
contains all commits in base
. However, if I run (small) git diff base
my local git shows the expected difference.
Why does github say otherwise?
I then tried to change small
with a small nit (just comments), and now github even says it can't merge it and shows a conflict - but only about the nit diff, not the expected whole directory.
A bit mysterious to me...