Make repo config overridable,

So that we can specify the locations of the other staging repos
that contain the modules that are part of this release.
Shot in the dark. Oh, windows.
Did jenkins upload the file?