Given a repo with a master and a feature branch and commits C0 through C5 as below:
C0 <-- C1 <-- C2 <------ ???   master
       \                /
        C3 <-- C4 <-- C5      feature
When I merge, what happens at the ??? point?
Do I get one commit C6, i.e. a "squash" of the merge as a single commit:
C0 <-- C1 <-- C2 <------ C6    master
       \                /
        C3 <-- C4 <-- C5      feature
Or a "replay", i.e. C6 <-- C3' <-- C4' <-- C5' (with the ' because these commits now also contain C2):
C0 <-- C1 <-- C2 <------ C6 <-- C3' <-- C4' <-- C5'   master
       \                /
        C3 <-- C4 <-- C5                              feature
Is it the same on GitHub when merging a box-standard pull request from the same repo's branch?
 
     
     
     
    