Hey @Gareth, that was indeed the problem. In fact the device appeared to be so full that I wasn’t even able to prune. I solved it by just rm -rf .git/ (moving the .git/config first, and then restoring it after; losing the history is ok for me at this point). This seemed to solve the problem temporarily, but every few days the git folder appears to fill up my project again and I have to blow it away again to make the project build again.
Thoughts?