Thanks for your reply, Visvanath!
You write "The https://github.com/settings/tokens link is for an API token. Are you doing more than mere checkout (pull) of public repos and checkin (push) of your own repos?"
That's right, I only use GitHub to pull and push my own repos and that's why I have come to the conclusion that I don't really need a "token". I can continue to use my GitHut repos as usual.
Joseph
You write "The https://github.com/settings/tokens link is for an API token. Are you doing more than mere checkout (pull) of public repos and checkin (push) of your own repos?"
That's right, I only use GitHub to pull and push my own repos and that's why I have come to the conclusion that I don't really need a "token". I can continue to use my GitHut repos as usual.
Joseph