Open droberts-sea opened 6 years ago
When a student changes their github username, our system can no longer pick up their PRs. Don't know if it's possible, but it would be great if we could track students internally by some sort of GitHub UUID that doesn't change.
https://stackoverflow.com/questions/17308954/where-can-i-find-the-github-id-in-my-account/40695228
kaidamasaki
commented
5 years ago
When a student changes their github username, our system can no longer pick up their PRs. Don't know if it's possible, but it would be great if we could track students internally by some sort of GitHub UUID that doesn't change.