I suspected caching; git update-index (... Modifies the index or directory 
cache...) sounds like this.

-> issue

>
>

Reply via email to