In case anyone’s wondering, I tried it again and it worked this time, even without logging in. Maybe because this was my first visit to GitHub in a new country (I’m currently on vacation), I triggered some sort of anti-scraping measure or something.
reply