All of GH improvements have become irrelevant for me since they vanished one of our repos. No notification, no warning, no recourse. Just gonsky. It was just a simple library we wrote to talk to a public IP2Country REST service. Pushed to GitLab, end of.
Cannot edit any more, but it is important to clear this up. Apparently the repo did not vanish, it was deleted by a member of the team, who decided to keep silent about it for some reason.
Tip - there is a "deleted repos" section in GitHub UI where they will appear, apparently with an option to restore them.
In short - all I said seems to have been nonsense. Apologies!
You are right. I have a hunch. In the local repo there is a file that was was probably produced by running wget github.com im the repo directory. Unsure what it was meant to achieve, but accidentally pushed, it may have flagged the repo down somehow. Maybe the HTML contained some secret token?
Still, the main issue was the process how they handled it. Your build breaks. This is how we found out.
Martin from GitHub here - love to understand what happened if you have the time to point me at more details. DM's open (martinwoodward on twitter and martinwoodward at github.com on email)
From the linked article: "A week after I’ve opened the support ticket, GitHub has finally replied. Suspiciously, this happened right after someone important has posted a link to this article on Hacker News"
Top comment: GitHub CEO coming in and apologising.
From the linked tweet: "You sited US trade sanctions and sent me a non-descriptive email with no remediation information".
