fixing github rep name