This isn't hurting anything, but FYI is likely unnecessary. The repo's working dir is scoped to the repo and this specific distributor on it. The inclusion of repo.id is redundant. Again, totally not hurting anything and may be needed for some other reason I'm not seeing, but taking this as a chance to make sure I've explained the scope of the working dir.