cases.md

• Case 1: https://github.com/HoTT
• Case 2: https://github.com/stacks/stacks-project
• Case 3: https://github.com/coleforcongress
• Case 4: https://github.com/singpolyma/Copyright-Act-of-Canada
• Case 5a: https://github.com/bundestag/gesetze#german-federal-laws-and-regulations
• Case 5b: https://github.com/divegeek/utahcode
• Case 6: https://github.com/WiredEnterprise/Lord-of-the-Files
• Case 7: https://github.com/ASU-CPI/github-experiment