This script is only executed by the GitHub workflow. Keeping it inside the scripts directory makes the project's directory cleaner. Additionally, it decreases the chance of contributers executing the script even though its harmless.pull/2134/head
parent
ab5fcbb90f
commit
c065cbb92b
Loading…
Reference in new issue