Comment 5 for bug 2037210

@Nick Rosbrook (enr0n)

Your assumption is correct only in the case when PPA_release = distro_release.

But in my case the situation is different:
1. distro version is 23.10,
2. PPA provides packages only for 22.04 LTS.

Also please note that there are some obsolete PPAs where their owner is not available or lost the interest for maintaining the packages.

So for some packages it is impossible to run `apt-add-repository ppa:user/archive`.
So please support old behavior of add-apt-repository.

This will make possible to run the below command

```
sudo add-apt-repository -y "deb http://ppa.launchpad.net/nrbrtx/vte/ubuntu jammy main" # note that jammy!=mantic
```

on modern Ubuntu 23.10 without issues.

---

Actually it is good that third-party repository support in software-properties-common is not broken, so the following commands work without issues on 23.10:

```
sudo apt-get install software-properties-common
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv A2F683C52980AECF
sudo add-apt-repository -y "deb [arch=amd64] https://download.virtualbox.org/virtualbox/debian jammy contrib"
sudo apt-get install virtualbox-7.0
```