correct repository after a erroneous commit of branch prototype