<div dir="ltr"><div>This is the error I see:</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px">$ add-apt-repository --remove ppa:mutlaqja/indinightly<br>Cannot add PPA: 'ppa:~mutlaqja/ubuntu/indinightly'.<br>ERROR: '~mutlaqja' user or team does not exist.</blockquote><div><br></div><div>See, for instance: <a href="https://invent.kde.org/education/kstars/-/jobs/123432">https://invent.kde.org/education/kstars/-/jobs/123432</a></div><div><br></div><div>Did something change?</div><div>Hy</div></div>