Continue mirror extension versions even if one fails#942

hoangphamEclipse wants to merge 2 commits intoeclipse:mastereclipse/openvsx:masterfrom

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