Workaround a strange git bug