Yup. Batch saving is a fundamental git operation. I was trying to make it detect file change instead... But it seems the notification mechanism isn't reliable

Yup. Batch saving is a fundamental git operation. I was trying to make it detect file change instead... But it seems the notification mechanism isn't reliable across different types of OS.