Запретить пользовательский репозиторий переопределять дистрибутив Ubuntu 14.04

В моих источниках есть пользовательское репо для предоставления smartgit:

ppa:eugenesan/ppa

За последнюю неделю я не смог пройти цикл входа в систему, пытаясь все под солнцем. Сегодня я обнаружил, что это репо обновило эти 4 пакета до пользовательской версии (основанной на GNOME 3.12):

• ubuntu-session
• gnome-session-common
• gnome-session-bin
• gnome-session

Это было нежелательно и с тех пор исправлено. Я бы хотел сохранить этот репозиторий для smartgit, но не переопределять его. Это возможно?