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!