Pull request merging conventions

Jump to bottom Edit New page

Raphaël Emourgeon edited this page Oct 25, 2013 · 1 revision

PR can be merged with full commit history if all commits are atomics and aren't only "fix" of previous changes
commits need to be squashed before merge if commit history is dirty (fix of previous commit etc...)