repo: simplify remove_puppet_repository()

$dist was not used at all.