Make git pushes safer