{{{
git branch tmp
git checkout tmp
git reset --hard 3a8b0995faec3a5600fc5b826b9c621b9c7fee1a
}}}

{{{
git branch -d tmp
}}}