github.dev also requires being logged into github.com.