workspace: Add new archive types to new_release report (#12120)

RobotLocomotion · Oct 1, 2019 · 65c2e45 · 65c2e45
1 parent 9c19676
commit 65c2e45
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tools/workspace/new_release.py b/tools/workspace/new_release.py
@@ -96,6 +96,14 @@ def run(gh, args, metadata):
             # TODO(jwnimmer-tri) Implement for real.
             old_commit = data["commit"]
             new_commit = None
+        elif key == "pypi":
+            # TODO(jwnimmer-tri) Implement for real.
+            print("{} version {} needs manual inspection".format(
+                data["name"], data["version"]))
+            continue
+        elif key == "manual":
+            print("{} needs manual inspection".format(data["name"]))
+            continue
         else:
             raise RuntimeError("Bad key " + key)
         if old_commit == new_commit: