github education really does give you a lot of stuff!