rather name the github token 'user' because it's generic for a user, not teacher
rather name the github token 'user' because it's generic for a user, not teacher

github/training-utils,githubtraining/training-utils,github/training-utils,githubtraining/training-utils