Commit 47ac1187aaa53050c46056a4daf9a01916263da4

Patrick Steinhardt 2020-01-17T08:32:37

Merge pull request #5360 from josharian/fix-5357 refs: refuse to delete HEAD