Comment by emmelaich

Surprised that people allow force-push on git. If it needs to be done, it should only be done after consultation and disabled after.