Git assume-unchanged

Just for future reference. git update-index –assume-unchanged (and its counterpart) are very helpful git commands:

$ git update-index --assume-unchanged <some file>
$ git update-index --no-assume-unchanged <some file>