fix repo HEAD