Package provider that uses gdebi to install a Debian package (.deb) file with its dependencies
Installs GitHub's hub tool from a PPA