From d49100487944014a2c8a554e1eff257addddf460 Mon Sep 17 00:00:00 2001
From: Markus Reiter <me@reitermark.us>
Date: Sat, 10 Oct 2020 18:17:55 +0200
Subject: [PATCH] Remove helper script.

---
 Library/add-typed.rb | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100755 Library/add-typed.rb

diff --git a/Library/add-typed.rb b/Library/add-typed.rb
deleted file mode 100755
index 6860b9e7b2..0000000000
--- a/Library/add-typed.rb
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/usr/bin/env ruby
-
-require 'pathname'
-require 'open3'
-
-
-Dir.chdir "#{__dir__}/Homebrew"
-
-files = Pathname.glob("**/*.rb").reject { |path| path.to_s.start_with?("vendor/") }
-
-files.each do |file|
-
-  content = file.read
-
-  if content.start_with?("# typed: ")
-    puts "Already typed: #{file}"
-    next
-  end
-
-  ['strict', 'true', 'false', 'ignore'].each do |level|
-    puts "Trying #{file} with level #{level}."
-    file.write "# typed: #{level}\n#{content.strip}\n"
-
-    output, status = Open3.capture2e('brew', 'typecheck')
-    break if status.success?
-  end
-end