This PR disable ppa for debian

Hi, for debian git-core is update to date so we don't need ubuntu ppa. no ?