push-f for squashing