Do we need git squash and thus forced pushes?