title: Is there a "git touch" so I can push the same file with a new timestamp?
body: <p>I have an automated build tool that uses the modification date of the file in the output. Is there a way to "git touch" the file and save that to Git without having to actually modify the file?</p>