diff --git a/ci/dev/reset-vscode.sh b/ci/dev/reset-vscode.sh
deleted file mode 100755
index 889ef369a..000000000
--- a/ci/dev/reset-vscode.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-main() {
-  cd "$(dirname "$0")/../.."
-
-  cd ./lib/vscode
-  git add -A
-  git reset --hard
-}
-
-main "$@"