From 297081cc34dd7af57060db564a8caca8a1f6d34c Mon Sep 17 00:00:00 2001 From: Jeremy Nimmer Date: Sun, 2 Oct 2022 08:05:34 -0700 Subject: [PATCH] [workspace] Upgrade mypy_internal to latest commit Give up on the TODO for using mypy stable releases. Generally it looks like we're going to need bleeding-edge features. --- tools/workspace/mypy_internal/repository.bzl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tools/workspace/mypy_internal/repository.bzl b/tools/workspace/mypy_internal/repository.bzl index c3a08b6c272b..f12363231766 100644 --- a/tools/workspace/mypy_internal/repository.bzl +++ b/tools/workspace/mypy_internal/repository.bzl @@ -8,9 +8,8 @@ def mypy_internal_repository( github_archive( name = name, repository = "python/mypy", - # TODO(mwoehlke-kitware): switch to a tag >= v0.980. - commit = "7c6faf4c7a7bac6b126a30c5c61f5d209a4312c0", - sha256 = "f0ab4a26f0f75fc345865b17e4c21f34f13b7d9220eab663e96116dd326b9e48", # noqa + commit = "f85dfa1b2533621094bc45b4263ea41fd3bc2e39", + sha256 = "68800395a9fbaba5494710d0a316eb1c7090cc5553ab53eb62219939e58a67fd", # noqa build_file = ":package.BUILD.bazel", mirrors = mirrors, )