Re: [pacman-dev] [PATCH] Quick and dirty change to move sync repos.