Revert "Remove HEAD"

This reverts commit fa01710116c57f879f448e194c3a2557c2b2eced.