Changed git ppa to the official one.