Fix git-core so not overwriting other PPAs