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