unbreak random git client screwup