> have the site building script just put commit hashes there, and whenever it's different than the local one, it's newer.

What file are we supposed to be changing?  */foo.plugin or plugins.json?

(command for the best results: `git log -n 1 --pretty='format:%H' -- v7/foo`)