https://www.omgubuntu.co.uk/2010/11/easily-add-ppas-using-introduce-ppa-tool