I moved the script to scripts/ci/ and renamed it. If later the ci/ folder is chosen I can change it.

I also corrected the typo and changed the variables names to be totally sure they do not interfere.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.