James P Griffith

make tools "error: getting status of shell.nix: Permission denied"

4

### Describe the bug Unable to execute 'make tools'. - [X] I have read the document ### To reproduce Steps to reproduce the behavior: 1. Follow documentation to `make tools`...

[BUG] main.sh is not executable

1

**Describe the bug** After clearing the changes to the local project, which was the execute bit on main.sh, and doing a manual pull, main.sh remains non-executable without manual intervention. **To...