# Re: What's cooking in git.git (Jul 2017, \#03; Mon, 10)

- From: Junio C Hamano \<hidden\>
- Date: 2017-07-13 21:24:21 
- List: git
- Page: https://ratatoskr.run/git/2017/07/7728832
- Thread: https://ratatoskr.run/git/2017/07/7728832/t.md

```text
Jeff King [ref] writes:

> Sorry, I mean the case where you do a merge from the other side, but
> then you end up rewinding the history in some way, taking into account
> that merge and everything they did. For example:
>
>   $ git pull
>   $ git rebase  ;# this will flatten the merge
>   $ git push --force-with-lease
>
> There was never a moment where the other side's tip ref was in your
> local branch, but you did incorporate it via the merge.

Ah, OK, now it is clear what you meant.

Thanks.
```