.. for the repo github pages can be used as well, although the disgust when pushing huge .deb files up there is real.