Is this the corect virtualmin.repo for CentOS7?

On our production server we have

[virtualmin]
name=RHEL/CentOS/Scientific $releasever - $basearch - Virtualmin
baseurl=http://SERIALNUMBER:LICENSEKEY@software.virtualmin.com/gpl/rhel/$releasever/$basearch/
enabled=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-virtualmin
gpgcheck=1

[virtualmin-universal]
name=Virtualmin Distribution Neutral Packages
baseurl=http://SERIALNUMBER:LICENSEKEY@software.virtualmin.com/gpl/universal/
enabled=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-virtualmin
gpgcheck=1

But we want to go to the GPL version, followed intuctions and done loads of googeling but no joy.

On our test server we have

[virtualmin]
name=RHEL/CentOS $releasever - $basearch - Virtualmin
baseurl=http://software.virtualmin.com/vm/6/gpl/centos/$releasever/$basearch/
enabled=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-virtualmin-6
gpgcheck=1

[virtualmin-universal]
name=Virtualmin Distribution Neutral Packages
baseurl=http://software.virtualmin.com/vm/6/gpl/universal/
enabled=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-virtualmin-6
gpgcheck=1

Is this what I should be using, was going to just copy it to the production server?

Only if it’s a very old installation.

Current installs come from the /vm/6 subdirectory (otherwise identical path, e.g http://software.virtualmin.com/vm/6/gpl/universal/).

It is using vm/6
http://software.virtualmin.com/vm/6/gpl/centos/$releasever/$basearch/

Or have I missed something?

Oh, sorry, I didn’t see the other one. Your first example repos are the old repos (still maintained and active, but missing some new stuff like virtualmin-config).

You don’t need/want serial number and key for GPL repo, and you need to change the gpgkey to the new one for the new repos.