Redesign GitHub Labels

• wai-redesign-prep: Every repository needs to be prepared for the redesign, we track the progress in GitHub issues that have checkboxes. A list of all those issues is available through GitHub’s org search for wai-redesign-prep.

• wai-redesign-before: Issues Eric noted that need a decision before the redesign is implemented. Search for wai-redesign-before.

• wai-redesign-after: Issues deferred after launch of the redesign. Search for wai-redesign-after.