This repo is forked from Sky as to consume any updates to the checklists. Procedure each spell is for Certora to make a PR to modify the Star Spell Reviewer Checklist with relevant info for the spell. Then each reviewer pulls this file and makes their own changes and then pushes a gist, and links that gist into their comment on the spells PR.