Git merge can be hard | DIMI’s place

DIMI's place

My thoughts on different things

10 July 2018

Git merge can be hard

So our git repository is implemented in a way that commits are squashed during pull request merge. So if one is doing two pull requests - second one would include old commits.

Solution one (correct way of doing things)

Create new branch for new feature.

Solution two - ugly but working

Also useful commands from git:

tags: github - java