769fe8bb7d
We tend to use fixup commits quite a bit, and in the heat of the moment we sometimes forget to squash them before the final merge. This should prevent us from doing so.