Fetch maven metadata from Dotty plugin via HTTPS#8014

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:dotty-plugin-fixdotty-staging/dotty:dotty-plugin-fixCopy head branch name to clipboard