GIT Reset Branch shell script

#!/usr/bin/env bash
echo "enter name of branch to checkout and hard reset"
read branch
git fetch; 
git checkout $branch ;
git branch -vvv;
git reset --hard origin/$branch;

If IE HTML5 JS

<!--[if IE]>
    <script src="http://html5shim.googlecode.com/svn/trunk/html5.js">
     </script>
    <![endif]-->