Fix username in github scripts