Merge "Add a tool to dump git SHAs of API changes"