a few small tweaks to repositories.xml after checking out some of the upstream repo entries