[opensuse42.3prod]
name=opensuse/42.3/prod
baseurl=https://packages.microsoft.com/opensuse/42.3/prod/
repo_gpgcheck=0
gpgcheck=0
enabled=1
gpgkey=https://packages.microsoft.com/opensuse/42.3/prod/repodata/repomd.xml.key