Git: How to ignore changes in versioned file