Gazler/githug — pull request #76 by luhn (2012-07-04 17:05:56+00:00)
Title: Corrected git command used in my level

"git checkout HEAD^" only detaches the repo head. To actually delete a commit from the master branch, "git reset --hard HEAD^" is correct.