Only change file permission to default if no permission is configured #11
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.
Working theory:
The documentation of FilePermissions states:
It's not very clear what that means, but it may mean that if you query for the permissions of a file, but no permission was configured, you get this default.
We could use that to check if a permission was potentially not set and only set it then. This will either:
644
with the same value (no-op)644
for a undefined permission (this is what we want for reproducibility)For files that were alreay configured explicitly, for example by the
application
plugin, we will do nothing.This would fix #7.