git-pull: dead code removal