Currently add-apt-repository also has --remove option which removes the .list file (or entry?), but does not remove/downgrade packages.
Currently add-apt-repository also has --remove option which removes the .list file (or entry?), but does not remove/downgrade packages.