// check if a file changed from rev1 to rev2. rev1 could be '' to mean 'very beginning of time. even before anything existed'.
function fileChanged(file, rev1, rev2) {
    if (rev1 == '') git log rev2 -- file
    else git log rev1...rev2 -- file
}