Commit bcf34b0ec978d055514a2759ed37d7b8a5f4ea08

Stefan Sperling 2020-03-26T17:10:59

make 'got fetch' restore our copy of the remote HEAD if the copy was deleted