harvest and setting of student github usernames and repo names