Continue mirror extension versions even if one fails#942

hoangphamEclipse wants to merge 2 commits intoeclipse-openvsx:maineclipse-openvsx/openvsx:mainfrom

hoangphamEclipse:mirror-verified-versionshoangphamEclipse/openvsx:mirror-verified-versionsCopy head branch name to clipboard