Decided that we are better off squashing pull merges