ironically, if i'm not mistaken, github.dev requires being logged in