#2421 (Aug 20, 2021, 2:45:08 PM)

PR 1557: JSON save format for diff, including diff_retrieval helper function

	Changes First crack at generalized diff with json saving (details / githubweb) Am Engineer - Can't Spell (details / githubweb)
	Started by upstream project CE_gpkit_PR_pylint build number 2421 originally caused by: GitHub pull request #1557 of commit 7b5892e8f9bfe58737f13a8918cfa969979b6004, no merge conflicts.
	Revision: 5338b020486a1181752adc9852b7a0f161c95960 Repository: https://github.com/convexengineering/gpkit origin/pr/1557/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 5338b02
	0 errors, 0 warnings
	Pylint: 9 warnings New issues: 9 Reference build: CE_gpkit_PR_pylint » reynolds #2420 Quality gate: Failed