It seems that Lean keeps re-inventing everything Isabelle has had for decades (https://isa-afp.org/) in worse ways. There is no reason this has to depend on GitHub.