These days, the Survey program is always run from inside a checkout of a GitHub repository. It would be very helpful to know students' GitHub id so that I can add them to a GitHub organization and repositories. I can harvest the GitHub user id from the .git/config file in a checkout:
I should augment the Survey program to harvest this information and ask the student if it is okay to send it to me. Then, I need to store the id in the me.xml file.
These days, the Survey program is always run from inside a checkout of a GitHub repository. It would be very helpful to know students' GitHub id so that I can add them to a GitHub organization and repositories. I can harvest the GitHub user id from the
.git/config
file in a checkout:I should augment the Survey program to harvest this information and ask the student if it is okay to send it to me. Then, I need to store the id in the
me.xml
file.