Closed marohrdanz closed 3 months ago
I'm curious about the git rm only targeting certain *.js files. Are there other files that should also be removed?
For the other files, the file name is the same from commit to commit. For example ShaidyMapGen.jar is just overwritten by the new version. But for these .js file, the file names may be different from commit to commit.
This merge request addresses the following issues with GitHub Actions:
git rm
to remove these old files