Hi Eric, I pushed a final update that: - addresses Gabriel's comments to add assertions to chmod() calls - squashes the commits so that it is a clean merge
The CI came clean, I think we are ready to merge
« Back to merge proposal
Hi Eric, I pushed a final update that:
- addresses Gabriel's comments to add assertions to chmod() calls
- squashes the commits so that it is a clean merge
The CI came clean, I think we are ready to merge