Change-Id: I5a3794541853abd1fb16e67e285edfa29c2f5cf7
This will be, at some point, a script to run on Gerrit presubmit (ie. right before merge). For now, you can manually run it to ensure that Everything At Least Kinda Works. Change-Id: I28b305fa81a4ca4a8e94ce4daa06fe9ae0184fe8