I worked around the update issue by using
git fetch git reset --hard 6be53bd9160807fb7c829b72b23025d233f7072c
(as suggested on the IRC)
I worked around the update issue by using
git fetch git reset --hard 6be53bd9160807fb7c829b72b23025d233f7072c
(as suggested on the IRC)