I think the problem was I gave a bad commit hash, but the error message really does not match the actual situation at all. Anyhow, it wasn't a github problem and I got it fixed.
Is anybody else having github issues right now? I've got public repos suddenly asking for a username when you try to clone them... scripts like "cargo build" aren't working and say "spurious network error", but the error is github suddenly asking for a username. It isn't all repos, but happening for https://github.com/mikedilger/nostr-types
Discussion
No replies yet.