Fixed minor issue with Github leaving odd HEAD tags in script