fix rbi updater not removing deleted rbis

mmenanno · Dec 12, 2023 · 1657892 · 1657892
1 parent 836303f
commit 1657892
Show file tree

Hide file tree

Showing 20 changed files with 322 additions and 110,033 deletions.
diff --git a/.github/workflows/dependabot-rbi-updater.yml b/.github/workflows/dependabot-rbi-updater.yml
@@ -35,6 +35,6 @@ jobs:
           git checkout ${{ github.head_ref }}
           git config user.name "Dependabot RBI Updater"
           git config user.email action@github.com
-          git add sorbet/rbi/*/*.rbi
+          git add sorbet/*
           git diff-index --quiet HEAD || git commit -m "[dependabot skip] Update RBIs"
           git push
diff --git a/sorbet/rbi/gems/faraday-net_http@3.0.2.rbi b/sorbet/rbi/gems/faraday-net_http@3.0.2.rbi