Apparently there's no holding period for deleted names on GitHub.
If he wanted his twitter account to be taken by somebody else, he could have renamed it before deleting it. If you rename a twitter account, the old name is freed up instantly, but if you delete an account, it is held for an unknown period of time.
If he wanted his twitter account to be taken by somebody else, he could have renamed it before deleting it. If you rename a twitter account, the old name is freed up instantly, but if you delete an account, it is held for an unknown period of time.