re-initializing my git repo after a problem with the HEAD