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