I was curious what had become of the GitHub edu accounts from the early 2010s.

Turns out it's now the "Student Developer Pack" [1] which is more like a bundle of third-party offers.

[1]: https://education.github.com/pack