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 sile

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!