Disk You may have problems saving changes when your disk is full. Try removing unneeded files, and running git prune; git gc from the Console

Hi @SebPautot we have responded to you here.

1 Like