git is more globally useful than add-apt-repository.