New: fix repo damage caused by history rewrite this morning