https://kirelos.com/how-to-remove-ppa-repository-on-ubuntu-debian/