The lesson of verifying Git commits