Official rule is: "Template engine websites, tools, and sites that generate HTML from text, markdown, or script files, such as Webs, Wix, Weebly, GitHub, Jekyll

Official rule is: "Template engine websites, tools, and sites that generate HTML from text, markdown, or script files, such as Webs, Wix, Weebly, GitHub, Jekyll, and Replit, are NOT permitted." I still don't think this blanket bans GitHub; only in the context of using it as a tool for generating HTML from text, which the kids did not do.