Turn special github repos into deb files and whack them into a repo.