diff --git a/proj/metals.conf b/proj/metals.conf index 3e91ed33d..f4f3bc8e8 100644 --- a/proj/metals.conf +++ b/proj/metals.conf @@ -1,11 +1,14 @@ -// https://github.com/scalameta/metals.git#main +// https://github.com/scalacommunitybuild/metals.git#community-build-2.13 # was scalameta, main // note that there are always test failures when we run on a PR validation // snapshot. (we could probably fix it by adding a resolver in the repo?) +// forked (December 2024) to fix scala/scala-dev#891; we should be able +// to unfork after Scala 2.13.16 is released + vars.proj.metals: ${vars.base} { name: "metals" - uri: "https://github.com/scalameta/metals.git#1ce512aca99c818c094af072f5973da4ad890545" + uri: "https://github.com/scalacommunitybuild/metals.git#78522923453be9ef3481b163e0e7c84a10e5cc9a" extra.options: ["-Xmx3g"] // Vadim from Virtus writes: