Hi,
yes we changed to new infra but I didn’t announce yet as I want to pack few more goodies before next devlog but here it is (remove all other lines in your sources.list):
deb http://repo.puri.sm/pureos/ green main
and that’s it.
I apologize for the inconvenience it made for our users (still wondering should I write short official post about it or just wait few more days for devlog).