Commit f1bcca348e0d038b29d4d9bc6c87cbccf6893265

Stefan Sperling 2020-03-25T16:02:28

make 'got fetch' update our copy of the remote HEAD in case it has changed