Update repository.pp

keys aren't installed unless they don't exist so doesn't matter if we specify keys twice.. looks cleaner this way..