Only update git-rev.txt when there was something to do - #86

Only update git-rev.txt when there was something to do#86

oliviermartin wants to merge 1 commit into

ezyang:masterezyang/git-ftp:masterfrom

labapart:prevent-changing-revision-filelabapart/git-ftp:prevent-changing-revision-fileCopy head branch name to clipboard