bin/run-mirrors: Use sudo to change user.