Use the github repo in the PPA upload script