Change repo dir owner to action user so files can be deleted #155
+3
−0
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Some (but oddly not all) data files from a previous run of this action are created with root as the owner. Because the action runs as a non-root user, such files are not able to be deleted which is necessary for the
actions/checkout@v2
step to install the newest version of the repo.This seems to be a bug in the
actions/checkout@v2
command. Summary of issue and suggested fixes.This problem seems to happen rarely (this is the first occurrence). It is unclear why it started happening -- the checkout action hasn't released a new version recently, and our workflow and code haven't changed.
This fix changes the owner of the directory from root to the actions working user so that the user is allowed to delete it (requires passwordless sudo or password stored in GitHub Actions secrets).
Changes