diff --git a/.github/sync-packages.php b/.github/sync-packages.php deleted file mode 100644 index e5bf79cfe..000000000 --- a/.github/sync-packages.php +++ /dev/null @@ -1,71 +0,0 @@ -