tried to remove ORIG_HEAD since jenkins fails to checkout if that file points somwhere bad